Searched refs:StNonNull (Results 1 – 2 of 2) sorted by relevance
388 ProgramStateRef StNonNull, StNull; in checkFunctionPointerCall() local389 std::tie(StNonNull, StNull) = State->assume(L.castAs<DefinedOrUnknownSVal>()); in checkFunctionPointerCall()391 if (StNull && !StNonNull) { in checkFunctionPointerCall()403 return StNonNull; in checkFunctionPointerCall()458 ProgramStateRef StNonNull, StNull; in checkCXXMethodCall() local459 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>()); in checkCXXMethodCall()461 if (StNull && !StNonNull) { in checkCXXMethodCall()473 return StNonNull; in checkCXXMethodCall()
347 ProgramStateRef StNonNull, StNull; in checkBind() local348 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>()); in checkBind()351 if (!StNonNull) { in checkBind()