Home
last modified time | relevance | path

Searched refs:stateTrue (Results 1 – 2 of 2) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DCStringChecker.cpp442 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()
DBasicObjCFoundationChecks.cpp587 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()