Lines Matching refs:stateFalse

429   ProgramStateRef stateTrue, stateFalse;  in CheckOverlap()  local
446   std::tie(stateTrue, stateFalse) =  in CheckOverlap()
449   if (stateTrue && !stateFalse) {  in CheckOverlap()
456   assert(stateFalse);  in CheckOverlap()
457   state = stateFalse;  in CheckOverlap()
468   std::tie(stateTrue, stateFalse) = state->assume(*reverseTest);  in CheckOverlap()
470     if (stateFalse) {  in CheckOverlap()
513   std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);  in CheckOverlap()
515   if (stateTrue && !stateFalse) {  in CheckOverlap()
522   assert(stateFalse);  in CheckOverlap()
523   return stateFalse;  in CheckOverlap()