Searched refs:assumeExprIsNonNull (Results 1 – 1 of 1) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BasicObjCFoundationChecks.cpp | 1154 ProgramStateRef assumeExprIsNonNull(const Expr *NonNullExpr,
1157 void assumeExprIsNonNull(const Expr *E, CheckerContext &C) const { in assumeExprIsNonNull() function in __anon4164b2c50811::ObjCNonNilReturnValueChecker
1158 C.addTransition(assumeExprIsNonNull(E, C.getState(), C)); in assumeExprIsNonNull()
1162 assumeExprIsNonNull(E, C); in checkPostStmt()
1165 assumeExprIsNonNull(E, C); in checkPostStmt()
1168 assumeExprIsNonNull(E, C); in checkPostStmt()
1176 ObjCNonNilReturnValueChecker::assumeExprIsNonNull(const Expr *NonNullExpr, in assumeExprIsNonNull() function in ObjCNonNilReturnValueChecker
1211 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); in checkPostObjCMessage()
1223 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); in checkPostObjCMessage()
1231 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); in checkPostObjCMessage()
|