Lines Matching refs:stateFalse

514   ProgramStateRef stateTrue, stateFalse;  in CheckOverlap()  local
536   std::tie(stateTrue, stateFalse) =  in CheckOverlap()
539   if (stateTrue && !stateFalse) {  in CheckOverlap()
546   assert(stateFalse);  in CheckOverlap()
547   state = stateFalse;  in CheckOverlap()
558   std::tie(stateTrue, stateFalse) = state->assume(*reverseTest);  in CheckOverlap()
560     if (stateFalse) {  in CheckOverlap()
603   std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);  in CheckOverlap()
605   if (stateTrue && !stateFalse) {  in CheckOverlap()
612   assert(stateFalse);  in CheckOverlap()
613   return stateFalse;  in CheckOverlap()