Searched refs:stateTrue (Results 1 – 1 of 1) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 449 ProgramStateRef stateTrue, stateFalse; in CheckOverlap() local
466 std::tie(stateTrue, stateFalse) = in CheckOverlap()
469 if (stateTrue && !stateFalse) { in CheckOverlap()
471 emitOverlapBug(C, stateTrue, First.Expression, Second.Expression); in CheckOverlap()
488 std::tie(stateTrue, stateFalse) = state->assume(*reverseTest); in CheckOverlap()
489 if (stateTrue) { in CheckOverlap()
533 std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest); in CheckOverlap()
535 if (stateTrue && !stateFalse) { in CheckOverlap()
537 emitOverlapBug(C, stateTrue, First.Expression, Second.Expression); in CheckOverlap()
|