87 class IteratorModeling  class
93   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()
320 void IteratorModeling::checkDeadSymbols(SymbolReaper &SR,  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()
725 void IteratorModeling::printState(raw_ostream &Out, ProgramStateRef State,  in printState()
845   mgr.registerChecker<IteratorModeling>();  in registerIteratorModeling()