107   void handleIncrement(CheckerContext &C, SVal RetVal, SVal Iter,
109   void handleDecrement(CheckerContext &C, SVal RetVal, SVal Iter,
116   void handleAdvance(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
118   void handlePrev(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
120   void handleNext(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
124   bool noChangeInAdvance(CheckerContext &C, SVal Iter, const Expr *CE) const;
534                                        SVal Iter, bool Postfix) const {  in handleIncrement()  argument
540   const auto *Pos = getIteratorPosition(State, Iter);  in handleIncrement()
545     advancePosition(State, Iter, OO_Plus,  in handleIncrement()
550   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleIncrement()
554   State = setIteratorPosition(State, Iter, *NewPos);  in handleIncrement()
560                                        SVal Iter, bool Postfix) const {  in handleDecrement()  argument
566   const auto *Pos = getIteratorPosition(State, Iter);  in handleDecrement()
571     advancePosition(State, Iter, OO_Minus,  in handleDecrement()
576   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleDecrement()
580   State = setIteratorPosition(State, Iter, *NewPos);  in handleDecrement()
668                                      SVal RetVal, SVal Iter,  in handleAdvance()  argument
670   handleRandomIncrOrDecr(C, CE, OO_PlusEqual, RetVal, Iter, Amount);  in handleAdvance()
674                                   SVal RetVal, SVal Iter, SVal Amount) const {  in handlePrev()  argument
675   handleRandomIncrOrDecr(C, CE, OO_Minus, RetVal, Iter, Amount);  in handlePrev()
679                                   SVal RetVal, SVal Iter, SVal Amount) const {  in handleNext()  argument
680   handleRandomIncrOrDecr(C, CE, OO_Plus, RetVal, Iter, Amount);  in handleNext()
695 bool IteratorModeling::noChangeInAdvance(CheckerContext &C, SVal Iter,  in noChangeInAdvance()  argument
701   const auto *PosAfter = getIteratorPosition(StateAfter, Iter);  in noChangeInAdvance()
712   const auto *PosBefore = getIteratorPosition(StateBefore, Iter);  in noChangeInAdvance()