Lines Matching refs:stateFalse

535   ProgramStateRef stateTrue, stateFalse;  in CheckOverlap()  local
557   std::tie(stateTrue, stateFalse) =  in CheckOverlap()
560   if (stateTrue && !stateFalse) {  in CheckOverlap()
567   assert(stateFalse);  in CheckOverlap()
568   state = stateFalse;  in CheckOverlap()
579   std::tie(stateTrue, stateFalse) = state->assume(*reverseTest);  in CheckOverlap()
581     if (stateFalse) {  in CheckOverlap()
624   std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);  in CheckOverlap()
626   if (stateTrue && !stateFalse) {  in CheckOverlap()
633   assert(stateFalse);  in CheckOverlap()
634   return stateFalse;  in CheckOverlap()