Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorRangeChecker.cpp244 const auto *PosAfter = getIteratorPosition(StateAfter, LHS); in verifyRandomIncrOrDecr() local
245 assert(PosAfter && in verifyRandomIncrOrDecr()
247 if (isAheadOfRange(State, *PosAfter)) { in verifyRandomIncrOrDecr()
254 if (isBehindPastTheEnd(State, *PosAfter)) { in verifyRandomIncrOrDecr()
H A DIteratorModeling.cpp706 const auto *PosAfter = getIteratorPosition(StateAfter, Iter); in noChangeInAdvance() local
710 if (!PosAfter) in noChangeInAdvance()
727 return PosBefore->getOffset() == PosAfter->getOffset(); in noChangeInAdvance()