Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorRangeChecker.cpp240 auto StateAfter = advancePosition(State, LHS, Op, Value); in verifyRandomIncrOrDecr() local
241 if (!StateAfter) in verifyRandomIncrOrDecr()
244 const auto *PosAfter = getIteratorPosition(StateAfter, LHS); in verifyRandomIncrOrDecr()
H A DIteratorModeling.cpp704 const auto StateAfter = C.getState(); in noChangeInAdvance() local
706 const auto *PosAfter = getIteratorPosition(StateAfter, Iter); in noChangeInAdvance()