Searched refs:stateFalse (Results 1 – 2 of 2) sorted by relevance
424 ProgramStateRef stateTrue, stateFalse; in CheckOverlap() local441 llvm::tie(stateTrue, stateFalse) = in CheckOverlap()444 if (stateTrue && !stateFalse) { in CheckOverlap()451 assert(stateFalse); in CheckOverlap()452 state = stateFalse; in CheckOverlap()463 llvm::tie(stateTrue, stateFalse) = state->assume(*reverseTest); in CheckOverlap()465 if (stateFalse) { in CheckOverlap()508 llvm::tie(stateTrue, stateFalse) = state->assume(*OverlapTest); in CheckOverlap()510 if (stateTrue && !stateFalse) { in CheckOverlap()517 assert(stateFalse); in CheckOverlap()[all …]
549 ProgramStateRef stateTrue, stateFalse; in checkPreStmt() local550 llvm::tie(stateTrue, stateFalse) = state->assume(ArgIsNull); in checkPreStmt()552 if (stateTrue && !stateFalse) { in checkPreStmt()575 C.addTransition(stateFalse); in checkPreStmt()