Searched refs:stateTrue (Results 1 – 1 of 1) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 430 ProgramStateRef stateTrue, stateFalse; in CheckOverlap() local
447 std::tie(stateTrue, stateFalse) = in CheckOverlap()
450 if (stateTrue && !stateFalse) { in CheckOverlap()
452 emitOverlapBug(C, stateTrue, First, Second); in CheckOverlap()
469 std::tie(stateTrue, stateFalse) = state->assume(*reverseTest); in CheckOverlap()
470 if (stateTrue) { in CheckOverlap()
514 std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest); in CheckOverlap()
516 if (stateTrue && !stateFalse) { in CheckOverlap()
518 emitOverlapBug(C, stateTrue, First, Second); in CheckOverlap()
|