Home
last modified time | relevance | path

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

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorModeling.cpp610 auto AdvancedState = advancePosition(State, Iterator, Op, *Value); in handleRandomIncrOrDecr() local
611 if (AdvancedState) { in handleRandomIncrOrDecr()
612 const auto *NewPos = getIteratorPosition(AdvancedState, Iterator); in handleRandomIncrOrDecr()
654 auto AdvancedState = advancePosition(State, OldVal, OK, Offset); in handlePtrIncrOrDecr() local
655 if (AdvancedState) { in handlePtrIncrOrDecr()
656 const IteratorPosition *NewPos = getIteratorPosition(AdvancedState, OldVal); in handlePtrIncrOrDecr()