StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp

1153   ProgramStateRef assumeExprIsNonNull(const Expr *NonNullExpr,
1156   void assumeExprIsNonNull(const Expr *E, CheckerContext &C) const {
1157     C.addTransition(assumeExprIsNonNull(E, C.getState(), C));
1161     assumeExprIsNonNull(E, C);
1164     assumeExprIsNonNull(E, C);
1167     assumeExprIsNonNull(E, C);
1175 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);