Searched refs:NonNullExpr (Results 1 – 1 of 1) sorted by relevance
1192 ProgramStateRef assumeExprIsNonNull(const Expr *NonNullExpr,1214 ObjCNonNilReturnValueChecker::assumeExprIsNonNull(const Expr *NonNullExpr, in assumeExprIsNonNull() argument1217 SVal Val = State->getSVal(NonNullExpr, C.getLocationContext()); in assumeExprIsNonNull()