Lines Matching defs:Iter

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