Lines Matching refs:stateFalse

449   ProgramStateRef stateTrue, stateFalse;  in CheckOverlap()  local
466   std::tie(stateTrue, stateFalse) =  in CheckOverlap()
469   if (stateTrue && !stateFalse) {  in CheckOverlap()
476   assert(stateFalse);  in CheckOverlap()
477   state = stateFalse;  in CheckOverlap()
488   std::tie(stateTrue, stateFalse) = state->assume(*reverseTest);  in CheckOverlap()
490     if (stateFalse) {  in CheckOverlap()
533   std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);  in CheckOverlap()
535   if (stateTrue && !stateFalse) {  in CheckOverlap()
542   assert(stateFalse);  in CheckOverlap()
543   return stateFalse;  in CheckOverlap()