Home
last modified time | relevance | path

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

/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/
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()
DIteratorModeling.cpp707 const auto *PosAfter = getIteratorPosition(StateAfter, Iter); in noChangeInAdvance() local
711 if (!PosAfter) in noChangeInAdvance()
728 return PosBefore->getOffset() == PosAfter->getOffset(); in noChangeInAdvance()