Searched refs:stateFalse (Results 1 – 2 of 2) sorted by relevance
438 ProgramStateRef stateTrue, stateFalse; in CheckOverlap() local455 std::tie(stateTrue, stateFalse) = in CheckOverlap()458 if (stateTrue && !stateFalse) { in CheckOverlap()465 assert(stateFalse); in CheckOverlap()466 state = stateFalse; in CheckOverlap()477 std::tie(stateTrue, stateFalse) = state->assume(*reverseTest); in CheckOverlap()479 if (stateFalse) { in CheckOverlap()522 std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest); in CheckOverlap()524 if (stateTrue && !stateFalse) { in CheckOverlap()531 assert(stateFalse); in CheckOverlap()[all …]
588 ProgramStateRef stateTrue, stateFalse; in checkPreStmt() local589 std::tie(stateTrue, stateFalse) = state->assume(ArgIsNull); in checkPreStmt()591 if (stateTrue && !stateFalse) { in checkPreStmt()616 C.addTransition(stateFalse); in checkPreStmt()