94                                                SVal, SVal, SVal) const;
102   void handleComparison(CheckerContext &C, const Expr *CE, SVal RetVal,
103                         SVal LVal, SVal RVal, OverloadedOperatorKind Op) const;
105                          SymbolRef Sym1, SymbolRef Sym2, SVal RetVal,
107   void handleIncrement(CheckerContext &C, SVal RetVal, SVal Iter,
109   void handleDecrement(CheckerContext &C, SVal RetVal, SVal Iter,
112                               OverloadedOperatorKind Op, SVal RetVal,
113                               SVal Iterator, SVal Amount) const;
115                            OverloadedOperatorKind OK, SVal Offset) const;
116   void handleAdvance(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
117                      SVal Amount) const;
118   void handlePrev(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
119                   SVal Amount) const;
120   void handleNext(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
121                   SVal Amount) const;
122   void assignToContainer(CheckerContext &C, const Expr *CE, SVal RetVal,
124   bool noChangeInAdvance(CheckerContext &C, SVal Iter, const Expr *CE) const;
152   void checkBind(SVal Loc, SVal Val, const Stmt *S, CheckerContext &C) const;
163 ProgramStateRef removeIteratorPosition(ProgramStateRef State, SVal Val);
235 void IteratorModeling::checkBind(SVal Loc, SVal Val, const Stmt *S,  in checkBind()
269   const SVal LVal = State->getSVal(LHS, C.getLocationContext());  in checkPostStmt()
270   const SVal RVal = State->getSVal(RHS, C.getLocationContext());  in checkPostStmt()
273     SVal Result = State->getSVal(BO, C.getLocationContext());  in checkPostStmt()
286     SVal AmountVal = IsIterOnLHS ? RVal : LVal;  in checkPostStmt()
389           const SVal FirstArg = Call.getArgSVal(0);  in handleOverloadedOperator()
390           const SVal SecondArg = Call.getArgSVal(1);  in handleOverloadedOperator()
391           SVal Iterator = IsIterFirst ? FirstArg : SecondArg;  in handleOverloadedOperator()
392           SVal Amount = IsIterFirst ? SecondArg : FirstArg;  in handleOverloadedOperator()
447                                         SVal RetVal, SVal LVal, SVal RVal,  in handleComparison()
506                                          SymbolRef Sym2, SVal RetVal,  in processComparison()
534 void IteratorModeling::handleIncrement(CheckerContext &C, SVal RetVal,  in handleIncrement()
535                                        SVal Iter, bool Postfix) const {  in handleIncrement()
560 void IteratorModeling::handleDecrement(CheckerContext &C, SVal RetVal,  in handleDecrement()
561                                        SVal Iter, bool Postfix) const {  in handleDecrement()
588                                               SVal RetVal, SVal Iterator,  in handleRandomIncrOrDecr()
589                                               SVal Amount) const {  in handleRandomIncrOrDecr()
599   SVal Val;  in handleRandomIncrOrDecr()
627                                            SVal Offset) const {  in handlePtrIncrOrDecr()
637   SVal OldVal = State->getSVal(Iterator, C.getLocationContext());  in handlePtrIncrOrDecr()
643   SVal NewVal;  in handlePtrIncrOrDecr()
648     SVal NegatedOffset = SVB.evalMinus(Offset.castAs<NonLoc>());  in handlePtrIncrOrDecr()
669                                      SVal RetVal, SVal Iter,  in handleAdvance()
670                                      SVal Amount) const {  in handleAdvance()
675                                   SVal RetVal, SVal Iter, SVal Amount) const {  in handlePrev()
680                                   SVal RetVal, SVal Iter, SVal Amount) const {  in handleNext()
685                                          SVal RetVal,  in assignToContainer()
696 bool IteratorModeling::noChangeInAdvance(CheckerContext &C, SVal Iter,  in noChangeInAdvance()
773 ProgramStateRef removeIteratorPosition(ProgramStateRef State, SVal Val) {  in removeIteratorPosition()