Lines Matching refs:IteratorRangeChecker

29 class IteratorRangeChecker  class
56   using AdvanceFn = void (IteratorRangeChecker::*)(CheckerContext &, SVal,
60       {{{"std", "advance"}, 2}, &IteratorRangeChecker::verifyAdvance},
61       {{{"std", "prev"}, 2}, &IteratorRangeChecker::verifyPrev},
62       {{{"std", "next"}, 2}, &IteratorRangeChecker::verifyNext},
73 void IteratorRangeChecker::checkPreCall(const CallEvent &Call,  in checkPreCall()
138 void IteratorRangeChecker::checkPreStmt(const UnaryOperator *UO,  in checkPreStmt()
156 void IteratorRangeChecker::checkPreStmt(const BinaryOperator *BO,  in checkPreStmt()
173 void IteratorRangeChecker::checkPreStmt(const ArraySubscriptExpr *ASE,  in checkPreStmt()
180 void IteratorRangeChecker::checkPreStmt(const MemberExpr *ME,  in checkPreStmt()
190 void IteratorRangeChecker::verifyDereference(CheckerContext &C,  in verifyDereference()
203 void IteratorRangeChecker::verifyIncrement(CheckerContext &C, SVal Iter) const {  in verifyIncrement()
209 void IteratorRangeChecker::verifyDecrement(CheckerContext &C, SVal Iter) const {  in verifyDecrement()
215 void IteratorRangeChecker::verifyRandomIncrOrDecr(CheckerContext &C,  in verifyRandomIncrOrDecr()
257 void IteratorRangeChecker::verifyAdvance(CheckerContext &C, SVal LHS,  in verifyAdvance()
262 void IteratorRangeChecker::verifyPrev(CheckerContext &C, SVal LHS,  in verifyPrev()
267 void IteratorRangeChecker::verifyNext(CheckerContext &C, SVal LHS,  in verifyNext()
272 void IteratorRangeChecker::reportBug(StringRef Message, SVal Val,  in reportBug()
362   mgr.registerChecker<IteratorRangeChecker>();  in registerIteratorRangeChecker()