Searched refs:assumeExprIsNonNull (Results 1 - 1 of 1) sorted by relevance
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | BasicObjCFoundationChecks.cpp | 1192 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 742 milliseconds