Lines Matching refs:stateFalse
679 ProgramStateRef stateTrue, stateFalse; in CheckOverlap() local
701 std::tie(stateTrue, stateFalse) = in CheckOverlap()
704 if (stateTrue && !stateFalse) { in CheckOverlap()
711 assert(stateFalse); in CheckOverlap()
712 state = stateFalse; in CheckOverlap()
723 std::tie(stateTrue, stateFalse) = state->assume(*reverseTest); in CheckOverlap()
725 if (stateFalse) { in CheckOverlap()
768 std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest); in CheckOverlap()
770 if (stateTrue && !stateFalse) { in CheckOverlap()
777 assert(stateFalse); in CheckOverlap()
778 return stateFalse; in CheckOverlap()