107   void handleIncrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter,
109   void handleDecrement(CheckerContext &C, const SVal &RetVal, const 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;
538                                        const SVal &Iter, bool Postfix) const {  in handleIncrement()  argument
544   const auto *Pos = getIteratorPosition(State, Iter);  in handleIncrement()
549     advancePosition(State, Iter, OO_Plus,  in handleIncrement()
554   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleIncrement()
558   State = setIteratorPosition(State, Iter, *NewPos);  in handleIncrement()
564                                        const SVal &Iter, bool Postfix) const {  in handleDecrement()  argument
570   const auto *Pos = getIteratorPosition(State, Iter);  in handleDecrement()
575     advancePosition(State, Iter, OO_Minus,  in handleDecrement()
580   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleDecrement()
584   State = setIteratorPosition(State, Iter, *NewPos);  in handleDecrement()
673                                      SVal RetVal, SVal Iter,  in handleAdvance()  argument
675   handleRandomIncrOrDecr(C, CE, OO_PlusEqual, RetVal, Iter, Amount);  in handleAdvance()
679                                   SVal RetVal, SVal Iter, SVal Amount) const {  in handlePrev()  argument
680   handleRandomIncrOrDecr(C, CE, OO_Minus, RetVal, Iter, Amount);  in handlePrev()
684                                   SVal RetVal, SVal Iter, SVal Amount) const {  in handleNext()  argument
685   handleRandomIncrOrDecr(C, CE, OO_Plus, RetVal, Iter, Amount);  in handleNext()
700 bool IteratorModeling::noChangeInAdvance(CheckerContext &C, SVal Iter,  in noChangeInAdvance()  argument
706   const auto *PosAfter = getIteratorPosition(StateAfter, Iter);  in noChangeInAdvance()
717   const auto *PosBefore = getIteratorPosition(StateBefore, Iter);  in noChangeInAdvance()