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;
535                                        SVal Iter, bool Postfix) const {  in handleIncrement()  argument
541   const auto *Pos = getIteratorPosition(State, Iter);  in handleIncrement()
546     advancePosition(State, Iter, OO_Plus,  in handleIncrement()
551   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleIncrement()
555   State = setIteratorPosition(State, Iter, *NewPos);  in handleIncrement()
561                                        SVal Iter, bool Postfix) const {  in handleDecrement()  argument
567   const auto *Pos = getIteratorPosition(State, Iter);  in handleDecrement()
572     advancePosition(State, Iter, OO_Minus,  in handleDecrement()
577   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleDecrement()
581   State = setIteratorPosition(State, Iter, *NewPos);  in handleDecrement()
669                                      SVal RetVal, SVal Iter,  in handleAdvance()  argument
671   handleRandomIncrOrDecr(C, CE, OO_PlusEqual, RetVal, Iter, Amount);  in handleAdvance()
675                                   SVal RetVal, SVal Iter, SVal Amount) const {  in handlePrev()  argument
676   handleRandomIncrOrDecr(C, CE, OO_Minus, RetVal, Iter, Amount);  in handlePrev()
680                                   SVal RetVal, SVal Iter, SVal Amount) const {  in handleNext()  argument
681   handleRandomIncrOrDecr(C, CE, OO_Plus, RetVal, Iter, Amount);  in handleNext()
696 bool IteratorModeling::noChangeInAdvance(CheckerContext &C, SVal Iter,  in noChangeInAdvance()  argument
702   const auto *PosAfter = getIteratorPosition(StateAfter, Iter);  in noChangeInAdvance()
713   const auto *PosBefore = getIteratorPosition(StateBefore, Iter);  in noChangeInAdvance()