Lines Matching defs:assumeExprIsNonNull
1152 ProgramStateRef assumeExprIsNonNull(const Expr *NonNullExpr,
1155 void assumeExprIsNonNull(const Expr *E, CheckerContext &C) const {
1156 C.addTransition(assumeExprIsNonNull(E, C.getState(), C));
1160 assumeExprIsNonNull(E, C);
1163 assumeExprIsNonNull(E, C);
1166 assumeExprIsNonNull(E, C);
1174 ObjCNonNilReturnValueChecker::assumeExprIsNonNull(const Expr *NonNullExpr,
1210 State = assumeExprIsNonNull(M.getOriginExpr(), State, C);
1222 State = assumeExprIsNonNull(M.getOriginExpr(), State, C);
1230 State = assumeExprIsNonNull(M.getOriginExpr(), State, C);