37   void verifyDereference(CheckerContext &C, SVal Val) const;
38   void verifyIncrement(CheckerContext &C, SVal Iter) const;
39   void verifyDecrement(CheckerContext &C, SVal Iter) const;
41                               SVal LHS, SVal RHS) const;
42   void verifyAdvance(CheckerContext &C, SVal LHS, SVal RHS) const;
43   void verifyPrev(CheckerContext &C, SVal LHS, SVal RHS) const;
44   void verifyNext(CheckerContext &C, SVal LHS, SVal RHS) const;
45   void reportBug(const StringRef &Message, SVal Val, CheckerContext &C,
57   using AdvanceFn = void (IteratorRangeChecker::*)(CheckerContext &, SVal,
58                                                    SVal) const;
151   SVal SubVal = State->getSVal(UO->getSubExpr(), C.getLocationContext());  in checkPreStmt()
166   SVal LVal = State->getSVal(BO->getLHS(), C.getLocationContext());  in checkPreStmt()
171     SVal RVal = State->getSVal(BO->getRHS(), C.getLocationContext());  in checkPreStmt()
182   SVal LVal = State->getSVal(ASE->getLHS(), C.getLocationContext());  in checkPreStmt()
192   SVal BaseVal = State->getSVal(ME->getBase(), C.getLocationContext());  in checkPreStmt()
197                                              SVal Val) const {  in verifyDereference()
209 void IteratorRangeChecker::verifyIncrement(CheckerContext &C, SVal Iter) const {  in verifyIncrement()
215 void IteratorRangeChecker::verifyDecrement(CheckerContext &C, SVal Iter) const {  in verifyDecrement()
223                                                   SVal LHS, SVal RHS) const {  in verifyRandomIncrOrDecr()
263 void IteratorRangeChecker::verifyAdvance(CheckerContext &C, SVal LHS,  in verifyAdvance()
264                                          SVal RHS) const {  in verifyAdvance()
268 void IteratorRangeChecker::verifyPrev(CheckerContext &C, SVal LHS,  in verifyPrev()
269                                       SVal RHS) const {  in verifyPrev()
273 void IteratorRangeChecker::verifyNext(CheckerContext &C, SVal LHS,  in verifyNext()
274                                       SVal RHS) const {  in verifyNext()
278 void IteratorRangeChecker::reportBug(const StringRef &Message, SVal Val,  in reportBug()