Searched refs:stateFalse (Results 1 – 2 of 2) sorted by relevance
442 ProgramStateRef stateTrue, stateFalse; in CheckOverlap() local459 std::tie(stateTrue, stateFalse) = in CheckOverlap()462 if (stateTrue && !stateFalse) { in CheckOverlap()469 assert(stateFalse); in CheckOverlap()470 state = stateFalse; in CheckOverlap()481 std::tie(stateTrue, stateFalse) = state->assume(*reverseTest); in CheckOverlap()483 if (stateFalse) { in CheckOverlap()526 std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest); in CheckOverlap()528 if (stateTrue && !stateFalse) { in CheckOverlap()535 assert(stateFalse); in CheckOverlap()[all …]
587 ProgramStateRef stateTrue, stateFalse; in checkPreStmt() local588 std::tie(stateTrue, stateFalse) = state->assume(ArgIsNull); in checkPreStmt()590 if (stateTrue && !stateFalse) { in checkPreStmt()615 C.addTransition(stateFalse); in checkPreStmt()