Searched refs:assumeExprIsNonNull (Results 1 – 1 of 1) sorted by relevance
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BasicObjCFoundationChecks.cpp | 1153 ProgramStateRef assumeExprIsNonNull(const Expr *NonNullExpr,
1156 void assumeExprIsNonNull(const Expr *E, CheckerContext &C) const { in assumeExprIsNonNull() function in __anon84c6676a0811::ObjCNonNilReturnValueChecker
1157 C.addTransition(assumeExprIsNonNull(E, C.getState(), C)); in assumeExprIsNonNull()
1161 assumeExprIsNonNull(E, C); in checkPostStmt()
1164 assumeExprIsNonNull(E, C); in checkPostStmt()
1167 assumeExprIsNonNull(E, C); in checkPostStmt()
1175 ObjCNonNilReturnValueChecker::assumeExprIsNonNull(const Expr *NonNullExpr, in assumeExprIsNonNull() function in ObjCNonNilReturnValueChecker
1210 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); in checkPostObjCMessage()
1222 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); in checkPostObjCMessage()
1230 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); in checkPostObjCMessage()
|