106   void handleIncrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter,
108   void handleDecrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter,
115   void handleAdvance(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
117   void handlePrev(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
119   void handleNext(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
123   bool noChangeInAdvance(CheckerContext &C, SVal Iter, const Expr *CE) const;
539                                        const SVal &Iter, bool Postfix) const {  in handleIncrement()  argument
545   const auto *Pos = getIteratorPosition(State, Iter);  in handleIncrement()
550     advancePosition(State, Iter, OO_Plus,  in handleIncrement()
555   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleIncrement()
559   State = setIteratorPosition(State, Iter, *NewPos);  in handleIncrement()
565                                        const SVal &Iter, bool Postfix) const {  in handleDecrement()  argument
571   const auto *Pos = getIteratorPosition(State, Iter);  in handleDecrement()
576     advancePosition(State, Iter, OO_Minus,  in handleDecrement()
581   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleDecrement()
585   State = setIteratorPosition(State, Iter, *NewPos);  in handleDecrement()
674                                      SVal RetVal, SVal Iter,  in handleAdvance()  argument
676   handleRandomIncrOrDecr(C, CE, OO_PlusEqual, RetVal, Iter, Amount);  in handleAdvance()
680                                   SVal RetVal, SVal Iter, SVal Amount) const {  in handlePrev()  argument
681   handleRandomIncrOrDecr(C, CE, OO_Minus, RetVal, Iter, Amount);  in handlePrev()
685                                   SVal RetVal, SVal Iter, SVal Amount) const {  in handleNext()  argument
686   handleRandomIncrOrDecr(C, CE, OO_Plus, RetVal, Iter, Amount);  in handleNext()
701 bool IteratorModeling::noChangeInAdvance(CheckerContext &C, SVal Iter,  in noChangeInAdvance()  argument
707   const auto *PosAfter = getIteratorPosition(StateAfter, Iter);  in noChangeInAdvance()
718   const auto *PosBefore = getIteratorPosition(StateBefore, Iter);  in noChangeInAdvance()