Searched refs:secondLoc (Results 1 – 1 of 1) sorted by relevance
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 551 std::optional<Loc> secondLoc = secondVal.getAs<Loc>(); in CheckOverlap() local
552 if (!secondLoc) in CheckOverlap()
558 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); in CheckOverlap()
573 svalBuilder.evalBinOpLL(state, BO_GT, *firstLoc, *secondLoc, cmpTy); in CheckOverlap()
586 std::swap(firstLoc, secondLoc); in CheckOverlap()
618 svalBuilder.evalBinOpLL(state, BO_GT, *FirstEndLoc, *secondLoc, cmpTy); in CheckOverlap()
|