93   using AdvanceFn = void (IteratorModeling::*)(CheckerContext &, const Expr *,
96   void handleOverloadedOperator(CheckerContext &C, const CallEvent &Call,
98   void handleAdvanceLikeFunction(CheckerContext &C, const CallEvent &Call,
102   void handleComparison(CheckerContext &C, const Expr *CE, SVal RetVal,
104   void processComparison(CheckerContext &C, ProgramStateRef State,
107   void handleIncrement(CheckerContext &C, SVal RetVal, SVal Iter,
109   void handleDecrement(CheckerContext &C, SVal RetVal, SVal Iter,
111   void handleRandomIncrOrDecr(CheckerContext &C, const Expr *CE,
114   void handlePtrIncrOrDecr(CheckerContext &C, const Expr *Iterator,
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,
122   void assignToContainer(CheckerContext &C, const Expr *CE, SVal RetVal,
124   bool noChangeInAdvance(CheckerContext &C, SVal Iter, const Expr *CE) const;
151   void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
152   void checkBind(SVal Loc, SVal Val, const Stmt *S, CheckerContext &C) const;
153   void checkPostStmt(const UnaryOperator *UO, CheckerContext &C) const;
154   void checkPostStmt(const BinaryOperator *BO, CheckerContext &C) const;
156                      CheckerContext &C) const;
158   void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
173                                      CheckerContext &C) const {  in checkPostCall()
236                                  CheckerContext &C) const {  in checkBind()
252                                      CheckerContext &C) const {  in checkPostStmt()
264                                      CheckerContext &C) const {  in checkPostStmt()
293                                      CheckerContext &C) const {  in checkPostStmt()
322                                         CheckerContext &C) const {  in checkDeadSymbols()
349 IteratorModeling::handleOverloadedOperator(CheckerContext &C,  in handleOverloadedOperator()
423 IteratorModeling::handleAdvanceLikeFunction(CheckerContext &C,  in handleAdvanceLikeFunction()
446 void IteratorModeling::handleComparison(CheckerContext &C, const Expr *CE,  in handleComparison()
504 void IteratorModeling::processComparison(CheckerContext &C,  in processComparison()
534 void IteratorModeling::handleIncrement(CheckerContext &C, SVal RetVal,  in handleIncrement()
560 void IteratorModeling::handleDecrement(CheckerContext &C, SVal RetVal,  in handleDecrement()
586 void IteratorModeling::handleRandomIncrOrDecr(CheckerContext &C, const Expr *CE,  in handleRandomIncrOrDecr()
624 void IteratorModeling::handlePtrIncrOrDecr(CheckerContext &C,  in handlePtrIncrOrDecr()
668 void IteratorModeling::handleAdvance(CheckerContext &C, const Expr *CE,  in handleAdvance()
674 void IteratorModeling::handlePrev(CheckerContext &C, const Expr *CE,  in handlePrev()
679 void IteratorModeling::handleNext(CheckerContext &C, const Expr *CE,  in handleNext()
684 void IteratorModeling::assignToContainer(CheckerContext &C, const Expr *CE,  in assignToContainer()
696 bool IteratorModeling::noChangeInAdvance(CheckerContext &C, SVal Iter,  in noChangeInAdvance()