Searched refs:stateTrue (Results 1 – 2 of 2) sorted by relevance
/external/clang/lib/StaticAnalyzer/Checkers/ |
D | CStringChecker.cpp | 442 ProgramStateRef stateTrue, stateFalse; in CheckOverlap() local 459 std::tie(stateTrue, stateFalse) = in CheckOverlap() 462 if (stateTrue && !stateFalse) { in CheckOverlap() 464 emitOverlapBug(C, stateTrue, First, Second); in CheckOverlap() 481 std::tie(stateTrue, stateFalse) = state->assume(*reverseTest); in CheckOverlap() 482 if (stateTrue) { in CheckOverlap() 526 std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest); in CheckOverlap() 528 if (stateTrue && !stateFalse) { in CheckOverlap() 530 emitOverlapBug(C, stateTrue, First, Second); in CheckOverlap()
|
D | BasicObjCFoundationChecks.cpp | 587 ProgramStateRef stateTrue, stateFalse; in checkPreStmt() local 588 std::tie(stateTrue, stateFalse) = state->assume(ArgIsNull); in checkPreStmt() 590 if (stateTrue && !stateFalse) { in checkPreStmt() 591 ExplodedNode *N = C.generateErrorNode(stateTrue); in checkPreStmt()
|