Lines Matching refs:stateFalse

442   ProgramStateRef stateTrue, stateFalse;  in CheckOverlap()  local
459   std::tie(stateTrue, stateFalse) =  in CheckOverlap()
462   if (stateTrue && !stateFalse) {  in CheckOverlap()
469   assert(stateFalse);  in CheckOverlap()
470   state = stateFalse;  in CheckOverlap()
481   std::tie(stateTrue, stateFalse) = state->assume(*reverseTest);  in CheckOverlap()
483     if (stateFalse) {  in CheckOverlap()
526   std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);  in CheckOverlap()
528   if (stateTrue && !stateFalse) {  in CheckOverlap()
535   assert(stateFalse);  in CheckOverlap()
536   return stateFalse;  in CheckOverlap()