Searched refs:stateNotNull (Results 1 – 1 of 1) sorted by relevance
176 ProgramStateRef stateNotNull, stateNull; in checkPreCall() local177 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV); in checkPreCall()181 if (stateNull && !stateNotNull) { in checkPreCall()212 state = stateNotNull; in checkPreCall()