Searched refs:stateNonNull (Results 1 – 1 of 1) sorted by relevance
225 ProgramStateRef stateNull, stateNonNull; in checkNonNull() local226 std::tie(stateNull, stateNonNull) = assumeZero(C, state, l, S->getType()); in checkNonNull()228 if (stateNull && !stateNonNull) { in checkNonNull()257 assert(stateNonNull); in checkNonNull()258 return stateNonNull; in checkNonNull()