Searched refs:stateNonNull (Results 1 – 1 of 1) sorted by relevance
238 ProgramStateRef stateNull, stateNonNull; in checkNonNull() local239 std::tie(stateNull, stateNonNull) = assumeZero(C, state, l, S->getType()); in checkNonNull()241 if (stateNull && !stateNonNull) { in checkNonNull()270 assert(stateNonNull); in checkNonNull()271 return stateNonNull; in checkNonNull()