Searched defs:assumeExprIsNonNull (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DBasicObjCFoundationChecks.cpp1192 ProgramStateRef assumeExprIsNonNull(const Expr *NonNullExpr,
1195 void assumeExprIsNonNull(const Expr *E, CheckerContext &C) const { function in class:__anon18157::ObjCNonNilReturnValueChecker
1196 C.addTransition(assumeExprIsNonNull(E, C.getState(), C));
1200 assumeExprIsNonNull(E, C);
1203 assumeExprIsNonNull(E, C);
1206 assumeExprIsNonNull(E, C);
1214 ObjCNonNilReturnValueChecker::assumeExprIsNonNull(const Expr *NonNullExpr, function in class:ObjCNonNilReturnValueChecker
1249 State = assumeExprIsNonNull(M.getOriginExpr(), State, C);
1261 State = assumeExprIsNonNull(M.getOriginExpr(), State, C);
1269 State = assumeExprIsNonNull(
[all...]

Completed in 90 milliseconds