Searched refs:stateTrue (Results 1 – 2 of 2) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | CStringChecker.cpp | 438 ProgramStateRef stateTrue, stateFalse; in CheckOverlap() local
455 std::tie(stateTrue, stateFalse) = in CheckOverlap()
458 if (stateTrue && !stateFalse) { in CheckOverlap()
460 emitOverlapBug(C, stateTrue, First, Second); in CheckOverlap()
477 std::tie(stateTrue, stateFalse) = state->assume(*reverseTest); in CheckOverlap()
478 if (stateTrue) { in CheckOverlap()
522 std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest); in CheckOverlap()
524 if (stateTrue && !stateFalse) { in CheckOverlap()
526 emitOverlapBug(C, stateTrue, First, Second); in CheckOverlap()
|
| D | BasicObjCFoundationChecks.cpp | 588 ProgramStateRef stateTrue, stateFalse; in checkPreStmt() local
589 std::tie(stateTrue, stateFalse) = state->assume(ArgIsNull); in checkPreStmt()
591 if (stateTrue && !stateFalse) { in checkPreStmt()
592 ExplodedNode *N = C.generateErrorNode(stateTrue); in checkPreStmt()
|