Searched refs:StNonNull (Results 1 – 1 of 1) sorted by relevance
313 ProgramStateRef StNonNull, StNull; in checkBind() local314 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>()); in checkBind()317 if (!StNonNull) { in checkBind()