92   using AdvanceFn = void (IteratorModeling::*)(CheckerContext &, const Expr *,
95   void handleOverloadedOperator(CheckerContext &C, const CallEvent &Call,
97   void handleAdvanceLikeFunction(CheckerContext &C, const CallEvent &Call,
101   void handleComparison(CheckerContext &C, const Expr *CE, SVal RetVal,
104   void processComparison(CheckerContext &C, ProgramStateRef State,
107   void handleIncrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter,
109   void handleDecrement(CheckerContext &C, const SVal &RetVal, const 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, const 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()
324                                         CheckerContext &C) const {  in checkDeadSymbols()
351 IteratorModeling::handleOverloadedOperator(CheckerContext &C,  in handleOverloadedOperator()
425 IteratorModeling::handleAdvanceLikeFunction(CheckerContext &C,  in handleAdvanceLikeFunction()
448 void IteratorModeling::handleComparison(CheckerContext &C, const Expr *CE,  in handleComparison()
507 void IteratorModeling::processComparison(CheckerContext &C,  in processComparison()
537 void IteratorModeling::handleIncrement(CheckerContext &C, const SVal &RetVal,  in handleIncrement()
563 void IteratorModeling::handleDecrement(CheckerContext &C, const SVal &RetVal,  in handleDecrement()
589 void IteratorModeling::handleRandomIncrOrDecr(CheckerContext &C, const Expr *CE,  in handleRandomIncrOrDecr()
628 void IteratorModeling::handlePtrIncrOrDecr(CheckerContext &C,  in handlePtrIncrOrDecr()
672 void IteratorModeling::handleAdvance(CheckerContext &C, const Expr *CE,  in handleAdvance()
678 void IteratorModeling::handlePrev(CheckerContext &C, const Expr *CE,  in handlePrev()
683 void IteratorModeling::handleNext(CheckerContext &C, const Expr *CE,  in handleNext()
688 void IteratorModeling::assignToContainer(CheckerContext &C, const Expr *CE,  in assignToContainer()
700 bool IteratorModeling::noChangeInAdvance(CheckerContext &C, SVal Iter,  in noChangeInAdvance()