Searched refs:stateNonNull (Results 1 – 1 of 1) sorted by relevance
234 ProgramStateRef stateNull, stateNonNull; in checkNonNull() local235 std::tie(stateNull, stateNonNull) = assumeZero(C, state, l, S->getType()); in checkNonNull()237 if (stateNull && !stateNonNull) { in checkNonNull()266 assert(stateNonNull); in checkNonNull()267 return stateNonNull; in checkNonNull()