86 class IteratorModeling  class
92   using AdvanceFn = void (IteratorModeling::*)(CheckerContext &, const Expr *,
132       {{{"std", "advance"}, 2}, &IteratorModeling::handleAdvance},
138       {{{"std", "prev"}, 2}, &IteratorModeling::handlePrev},
144       {{{"std", "next"}, 2}, &IteratorModeling::handleNext},
148   IteratorModeling() = default;
171 void IteratorModeling::checkPostCall(const CallEvent &Call,  in checkPostCall()
234 void IteratorModeling::checkBind(SVal Loc, SVal Val, const Stmt *S,  in checkBind()
250 void IteratorModeling::checkPostStmt(const UnaryOperator *UO,  in checkPostStmt()
262 void IteratorModeling::checkPostStmt(const BinaryOperator *BO,  in checkPostStmt()
291 void IteratorModeling::checkPostStmt(const MaterializeTemporaryExpr *MTE,  in checkPostStmt()
302 void IteratorModeling::checkLiveSymbols(ProgramStateRef State,  in checkLiveSymbols()
323 void IteratorModeling::checkDeadSymbols(SymbolReaper &SR,  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()
730 void IteratorModeling::printState(raw_ostream &Out, ProgramStateRef State,  in printState()
850   mgr.registerChecker<IteratorModeling>();  in registerIteratorModeling()