Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorRangeChecker.cpp243 const auto *PosAfter = getIteratorPosition(StateAfter, LHS); in verifyRandomIncrOrDecr() local
244 assert(PosAfter && in verifyRandomIncrOrDecr()
246 if (isAheadOfRange(State, *PosAfter)) { in verifyRandomIncrOrDecr()
253 if (isBehindPastTheEnd(State, *PosAfter)) { in verifyRandomIncrOrDecr()
H A DIteratorModeling.cpp702 const auto *PosAfter = getIteratorPosition(StateAfter, Iter); in noChangeInAdvance() local
706 if (!PosAfter) in noChangeInAdvance()
723 return PosBefore->getOffset() == PosAfter->getOffset(); in noChangeInAdvance()