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