Searched refs:NonNullExpr (Results 1 – 1 of 1) sorted by relevance
1154 ProgramStateRef assumeExprIsNonNull(const Expr *NonNullExpr,1176 ObjCNonNilReturnValueChecker::assumeExprIsNonNull(const Expr *NonNullExpr, in assumeExprIsNonNull() argument1179 SVal Val = C.getSVal(NonNullExpr); in assumeExprIsNonNull()