Lines Matching refs:stateFalse

490   ProgramStateRef stateTrue, stateFalse;  in CheckOverlap()  local
512   std::tie(stateTrue, stateFalse) =  in CheckOverlap()
515   if (stateTrue && !stateFalse) {  in CheckOverlap()
522   assert(stateFalse);  in CheckOverlap()
523   state = stateFalse;  in CheckOverlap()
534   std::tie(stateTrue, stateFalse) = state->assume(*reverseTest);  in CheckOverlap()
536     if (stateFalse) {  in CheckOverlap()
579   std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);  in CheckOverlap()
581   if (stateTrue && !stateFalse) {  in CheckOverlap()
588   assert(stateFalse);  in CheckOverlap()
589   return stateFalse;  in CheckOverlap()