29 class IteratorRangeChecker  class
49   IteratorRangeChecker();
57   using AdvanceFn = void (IteratorRangeChecker::*)(CheckerContext &, SVal,
61       {{{"std", "advance"}, 2}, &IteratorRangeChecker::verifyAdvance},
62       {{{"std", "prev"}, 2}, &IteratorRangeChecker::verifyPrev},
63       {{{"std", "next"}, 2}, &IteratorRangeChecker::verifyNext},
74 IteratorRangeChecker::IteratorRangeChecker() {  in IteratorRangeChecker()  function in IteratorRangeChecker
79 void IteratorRangeChecker::checkPreCall(const CallEvent &Call,  in checkPreCall()
144 void IteratorRangeChecker::checkPreStmt(const UnaryOperator *UO,  in checkPreStmt()
162 void IteratorRangeChecker::checkPreStmt(const BinaryOperator *BO,  in checkPreStmt()
179 void IteratorRangeChecker::checkPreStmt(const ArraySubscriptExpr *ASE,  in checkPreStmt()
186 void IteratorRangeChecker::checkPreStmt(const MemberExpr *ME,  in checkPreStmt()
196 void IteratorRangeChecker::verifyDereference(CheckerContext &C,  in verifyDereference()
209 void IteratorRangeChecker::verifyIncrement(CheckerContext &C, SVal Iter) const {  in verifyIncrement()
215 void IteratorRangeChecker::verifyDecrement(CheckerContext &C, SVal Iter) const {  in verifyDecrement()
221 void IteratorRangeChecker::verifyRandomIncrOrDecr(CheckerContext &C,  in verifyRandomIncrOrDecr()
263 void IteratorRangeChecker::verifyAdvance(CheckerContext &C, SVal LHS,  in verifyAdvance()
268 void IteratorRangeChecker::verifyPrev(CheckerContext &C, SVal LHS,  in verifyPrev()
273 void IteratorRangeChecker::verifyNext(CheckerContext &C, SVal LHS,  in verifyNext()
278 void IteratorRangeChecker::reportBug(const StringRef &Message, SVal Val,  in reportBug()
368   mgr.registerChecker<IteratorRangeChecker>();  in registerIteratorRangeChecker()