Home
last modified time | relevance | path

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

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorRangeChecker.cpp238 const auto *PosAfter = getIteratorPosition(StateAfter, LHS); in verifyRandomIncrOrDecr() local
239 assert(PosAfter && in verifyRandomIncrOrDecr()
241 if (isAheadOfRange(State, *PosAfter)) { in verifyRandomIncrOrDecr()
248 if (isBehindPastTheEnd(State, *PosAfter)) { in verifyRandomIncrOrDecr()
H A DIteratorModeling.cpp701 const auto *PosAfter = getIteratorPosition(StateAfter, Iter); in noChangeInAdvance() local
705 if (!PosAfter) in noChangeInAdvance()
722 return PosBefore->getOffset() == PosAfter->getOffset(); in noChangeInAdvance()