85 class IteratorModeling  class
91   using AdvanceFn = void (IteratorModeling::*)(CheckerContext &, const Expr *,
131       {{{"std", "advance"}, 2}, &IteratorModeling::handleAdvance},
137       {{{"std", "prev"}, 2}, &IteratorModeling::handlePrev},
143       {{{"std", "next"}, 2}, &IteratorModeling::handleNext},
147   IteratorModeling() = default;
172 void IteratorModeling::checkPostCall(const CallEvent &Call,  in checkPostCall()
235 void IteratorModeling::checkBind(SVal Loc, SVal Val, const Stmt *S,  in checkBind()
251 void IteratorModeling::checkPostStmt(const UnaryOperator *UO,  in checkPostStmt()
263 void IteratorModeling::checkPostStmt(const BinaryOperator *BO,  in checkPostStmt()
292 void IteratorModeling::checkPostStmt(const MaterializeTemporaryExpr *MTE,  in checkPostStmt()
303 void IteratorModeling::checkLiveSymbols(ProgramStateRef State,  in checkLiveSymbols()
324 void IteratorModeling::checkDeadSymbols(SymbolReaper &SR,  in checkDeadSymbols()
352 IteratorModeling::handleOverloadedOperator(CheckerContext &C,  in handleOverloadedOperator()
426 IteratorModeling::handleAdvanceLikeFunction(CheckerContext &C,  in handleAdvanceLikeFunction()
449 void IteratorModeling::handleComparison(CheckerContext &C, const Expr *CE,  in handleComparison()
508 void IteratorModeling::processComparison(CheckerContext &C,  in processComparison()
538 void IteratorModeling::handleIncrement(CheckerContext &C, const SVal &RetVal,  in handleIncrement()
564 void IteratorModeling::handleDecrement(CheckerContext &C, const SVal &RetVal,  in handleDecrement()
590 void IteratorModeling::handleRandomIncrOrDecr(CheckerContext &C, const Expr *CE,  in handleRandomIncrOrDecr()
629 void IteratorModeling::handlePtrIncrOrDecr(CheckerContext &C,  in handlePtrIncrOrDecr()
673 void IteratorModeling::handleAdvance(CheckerContext &C, const Expr *CE,  in handleAdvance()
679 void IteratorModeling::handlePrev(CheckerContext &C, const Expr *CE,  in handlePrev()
684 void IteratorModeling::handleNext(CheckerContext &C, const Expr *CE,  in handleNext()
689 void IteratorModeling::assignToContainer(CheckerContext &C, const Expr *CE,  in assignToContainer()
701 bool IteratorModeling::noChangeInAdvance(CheckerContext &C, SVal Iter,  in noChangeInAdvance()
731 void IteratorModeling::printState(raw_ostream &Out, ProgramStateRef State,  in printState()
851   mgr.registerChecker<IteratorModeling>();  in registerIteratorModeling()