Searched refs:advancePosition (Results 1 – 4 of 4) sorted by relevance
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | IteratorModeling.cpp | 550 advancePosition(State, Iter, OO_Plus, in handleIncrement()
576 advancePosition(State, Iter, OO_Minus, in handleDecrement()
616 auto AdvancedState = advancePosition(State, Iterator, Op, *Value); in handleRandomIncrOrDecr()
660 auto AdvancedState = advancePosition(State, OldVal, OK, Offset); in handlePtrIncrOrDecr()
|
| D | Iterator.h | 176 ProgramStateRef advancePosition(ProgramStateRef State,
|
| D | Iterator.cpp | 224 ProgramStateRef advancePosition(ProgramStateRef State, const SVal &Iter, in advancePosition() function
|
| D | IteratorRangeChecker.cpp | 240 auto StateAfter = advancePosition(State, LHS, Op, Value); in verifyRandomIncrOrDecr()
|