Home
last modified time | relevance | path

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

/netbsd-src/external/apache2/llvm/dist/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.cpp707 const auto *PosAfter = getIteratorPosition(StateAfter, Iter); in noChangeInAdvance() local
711 if (!PosAfter) in noChangeInAdvance()
728 return PosBefore->getOffset() == PosAfter->getOffset(); in noChangeInAdvance()