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;
151   void checkBind(SVal Loc, SVal Val, const Stmt *S, CheckerContext &C) const;
162 ProgramStateRef removeIteratorPosition(ProgramStateRef State, SVal Val);
234 void IteratorModeling::checkBind(SVal Loc, SVal Val, const Stmt *S,  in checkBind()
268   const SVal LVal = State->getSVal(LHS, C.getLocationContext());  in checkPostStmt()
269   const SVal RVal = State->getSVal(RHS, C.getLocationContext());  in checkPostStmt()
272     SVal Result = State->getSVal(BO, C.getLocationContext());  in checkPostStmt()
285     SVal AmountVal = IsIterOnLHS ? RVal : LVal;  in checkPostStmt()
388           const SVal FirstArg = Call.getArgSVal(0);  in handleOverloadedOperator()
389           const SVal SecondArg = Call.getArgSVal(1);  in handleOverloadedOperator()
390           SVal Iterator = IsIterFirst ? FirstArg : SecondArg;  in handleOverloadedOperator()
391           SVal Amount = IsIterFirst ? SecondArg : FirstArg;  in handleOverloadedOperator()
446                                         SVal RetVal, SVal LVal, SVal RVal,  in handleComparison()
505                                          SymbolRef Sym2, SVal RetVal,  in processComparison()
533 void IteratorModeling::handleIncrement(CheckerContext &C, SVal RetVal,  in handleIncrement()
534                                        SVal Iter, bool Postfix) const {  in handleIncrement()
559 void IteratorModeling::handleDecrement(CheckerContext &C, SVal RetVal,  in handleDecrement()
560                                        SVal Iter, bool Postfix) const {  in handleDecrement()
587                                               SVal RetVal, SVal Iterator,  in handleRandomIncrOrDecr()
588                                               SVal Amount) const {  in handleRandomIncrOrDecr()
598   SVal Val;  in handleRandomIncrOrDecr()
626                                            SVal Offset) const {  in handlePtrIncrOrDecr()
636   SVal OldVal = State->getSVal(Iterator, C.getLocationContext());  in handlePtrIncrOrDecr()
642   SVal NewVal;  in handlePtrIncrOrDecr()
647     SVal NegatedOffset = SVB.evalMinus(Offset.castAs<NonLoc>());  in handlePtrIncrOrDecr()
668                                      SVal RetVal, SVal Iter,  in handleAdvance()
669                                      SVal Amount) const {  in handleAdvance()
674                                   SVal RetVal, SVal Iter, SVal Amount) const {  in handlePrev()
679                                   SVal RetVal, SVal Iter, SVal Amount) const {  in handleNext()
684                                          SVal RetVal,  in assignToContainer()
695 bool IteratorModeling::noChangeInAdvance(CheckerContext &C, SVal Iter,  in noChangeInAdvance()
772 ProgramStateRef removeIteratorPosition(ProgramStateRef State, SVal Val) {  in removeIteratorPosition()