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;
150   void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
151   void checkBind(SVal Loc, SVal Val, const Stmt *S, CheckerContext &C) const;
152   void checkPostStmt(const UnaryOperator *UO, CheckerContext &C) const;
153   void checkPostStmt(const BinaryOperator *BO, CheckerContext &C) const;
155                      CheckerContext &C) const;
157   void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
172                                      CheckerContext &C) const {  in checkPostCall()
235                                  CheckerContext &C) const {  in checkBind()
251                                      CheckerContext &C) const {  in checkPostStmt()
263                                      CheckerContext &C) const {  in checkPostStmt()
292                                      CheckerContext &C) const {  in checkPostStmt()
321                                         CheckerContext &C) const {  in checkDeadSymbols()
348 IteratorModeling::handleOverloadedOperator(CheckerContext &C,  in handleOverloadedOperator()
422 IteratorModeling::handleAdvanceLikeFunction(CheckerContext &C,  in handleAdvanceLikeFunction()
445 void IteratorModeling::handleComparison(CheckerContext &C, const Expr *CE,  in handleComparison()
503 void IteratorModeling::processComparison(CheckerContext &C,  in processComparison()
533 void IteratorModeling::handleIncrement(CheckerContext &C, SVal RetVal,  in handleIncrement()
559 void IteratorModeling::handleDecrement(CheckerContext &C, SVal RetVal,  in handleDecrement()
585 void IteratorModeling::handleRandomIncrOrDecr(CheckerContext &C, const Expr *CE,  in handleRandomIncrOrDecr()
623 void IteratorModeling::handlePtrIncrOrDecr(CheckerContext &C,  in handlePtrIncrOrDecr()
667 void IteratorModeling::handleAdvance(CheckerContext &C, const Expr *CE,  in handleAdvance()
673 void IteratorModeling::handlePrev(CheckerContext &C, const Expr *CE,  in handlePrev()
678 void IteratorModeling::handleNext(CheckerContext &C, const Expr *CE,  in handleNext()
683 void IteratorModeling::assignToContainer(CheckerContext &C, const Expr *CE,  in assignToContainer()
695 bool IteratorModeling::noChangeInAdvance(CheckerContext &C, SVal Iter,  in noChangeInAdvance()