Searched refs:assumeExprIsNonNull (Results 1 - 1 of 1) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BasicObjCFoundationChecks.cpp | 1154 ProgramStateRef assumeExprIsNonNull(const Expr *NonNullExpr,
1157 void assumeExprIsNonNull(const Expr *E, CheckerContext &C) const { function in class:__anon746::ObjCNonNilReturnValueChecker
1158 C.addTransition(assumeExprIsNonNull(E, C.getState(), C));
1162 assumeExprIsNonNull(E, C);
1165 assumeExprIsNonNull(E, C);
1168 assumeExprIsNonNull(E, C);
1176 ObjCNonNilReturnValueChecker::assumeExprIsNonNull(const Expr *NonNullExpr, function in class:ObjCNonNilReturnValueChecker
1211 State = assumeExprIsNonNull(M.getOriginExpr(), State, C);
1223 State = assumeExprIsNonNull(M.getOriginExpr(), State, C);
1231 State = assumeExprIsNonNull(
[all...] |
Completed in 99 milliseconds