87 class IteratorModeling  class
93   using AdvanceFn = void (IteratorModeling::*)(CheckerContext &, const Expr *,
133        &IteratorModeling::handleAdvance},
139       {{CDM::SimpleFunc, {"std", "prev"}, 2}, &IteratorModeling::handlePrev},
145       {{CDM::SimpleFunc, {"std", "next"}, 2}, &IteratorModeling::handleNext},
149   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()
321 void IteratorModeling::checkDeadSymbols(SymbolReaper &SR,  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()
726 void IteratorModeling::printState(raw_ostream &Out, ProgramStateRef State,  in printState()
846   mgr.registerChecker<IteratorModeling>();  in registerIteratorModeling()