Lines Matching refs:IteratorRangeChecker

29 class IteratorRangeChecker  class
56   using AdvanceFn = void (IteratorRangeChecker::*)(CheckerContext &, SVal,
63        &IteratorRangeChecker::verifyAdvance},
65        &IteratorRangeChecker::verifyPrev},
67        &IteratorRangeChecker::verifyNext},
78 void IteratorRangeChecker::checkPreCall(const CallEvent &Call,  in checkPreCall()
143 void IteratorRangeChecker::checkPreStmt(const UnaryOperator *UO,  in checkPreStmt()
161 void IteratorRangeChecker::checkPreStmt(const BinaryOperator *BO,  in checkPreStmt()
178 void IteratorRangeChecker::checkPreStmt(const ArraySubscriptExpr *ASE,  in checkPreStmt()
185 void IteratorRangeChecker::checkPreStmt(const MemberExpr *ME,  in checkPreStmt()
195 void IteratorRangeChecker::verifyDereference(CheckerContext &C,  in verifyDereference()
208 void IteratorRangeChecker::verifyIncrement(CheckerContext &C, SVal Iter) const {  in verifyIncrement()
214 void IteratorRangeChecker::verifyDecrement(CheckerContext &C, SVal Iter) const {  in verifyDecrement()
220 void IteratorRangeChecker::verifyRandomIncrOrDecr(CheckerContext &C,  in verifyRandomIncrOrDecr()
262 void IteratorRangeChecker::verifyAdvance(CheckerContext &C, SVal LHS,  in verifyAdvance()
267 void IteratorRangeChecker::verifyPrev(CheckerContext &C, SVal LHS,  in verifyPrev()
272 void IteratorRangeChecker::verifyNext(CheckerContext &C, SVal LHS,  in verifyNext()
277 void IteratorRangeChecker::reportBug(StringRef Message, SVal Val,  in reportBug()
367   mgr.registerChecker<IteratorRangeChecker>();  in registerIteratorRangeChecker()