Searched refs:stateNonNull (Results 1 – 2 of 2) sorted by relevance
565 ProgramStateRef stateNonNull, stateNull; in checkPreCall() local566 std::tie(stateNonNull, stateNull) = state->assume(*DefArgVal); in checkPreCall()568 if (!stateNonNull) { in checkPreCall()586 C.addTransition(stateNonNull); in checkPreCall()
285 ProgramStateRef stateNull, stateNonNull; in checkNonNull() local286 std::tie(stateNull, stateNonNull) = assumeZero(C, state, l, S->getType()); in checkNonNull()288 if (stateNull && !stateNonNull) { in checkNonNull()303 assert(stateNonNull); in checkNonNull()304 return stateNonNull; in checkNonNull()