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