Searched refs:assumeExprIsNonNull (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | BasicObjCFoundationChecks.cpp | 1192 ProgramStateRef assumeExprIsNonNull(const Expr *NonNullExpr,
1195 void assumeExprIsNonNull(const Expr *E, CheckerContext &C) const { in assumeExprIsNonNull() function in __anon3d8ea8180811::ObjCNonNilReturnValueChecker
1196 C.addTransition(assumeExprIsNonNull(E, C.getState(), C)); in assumeExprIsNonNull()
1200 assumeExprIsNonNull(E, C); in checkPostStmt()
1203 assumeExprIsNonNull(E, C); in checkPostStmt()
1206 assumeExprIsNonNull(E, C); in checkPostStmt()
1214 ObjCNonNilReturnValueChecker::assumeExprIsNonNull(const Expr *NonNullExpr, in assumeExprIsNonNull() function in ObjCNonNilReturnValueChecker
1249 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); in checkPostObjCMessage()
1261 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); in checkPostObjCMessage()
1269 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); in checkPostObjCMessage()
|