Searched refs:stateFalse (Results 1 – 1 of 1) sorted by relevance
490 ProgramStateRef stateTrue, stateFalse; in CheckOverlap() local512 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()[all …]