38   void verifyDereference(CheckerContext &C, SVal Val) const;
39   void verifyIncrement(CheckerContext &C, SVal Iter) const;
40   void verifyDecrement(CheckerContext &C, SVal Iter) const;
42                               SVal LHS, SVal RHS) const;
43   void verifyAdvance(CheckerContext &C, SVal LHS, SVal RHS) const;
44   void verifyPrev(CheckerContext &C, SVal LHS, SVal RHS) const;
45   void verifyNext(CheckerContext &C, SVal LHS, SVal RHS) const;
46   void reportBug(StringRef Message, SVal Val, CheckerContext &C,
56   using AdvanceFn = void (IteratorRangeChecker::*)(CheckerContext &, SVal,
57                                                    SVal) const;
145   SVal SubVal = State->getSVal(UO->getSubExpr(), C.getLocationContext());  in checkPreStmt()
160   SVal LVal = State->getSVal(BO->getLHS(), C.getLocationContext());  in checkPreStmt()
165     SVal RVal = State->getSVal(BO->getRHS(), C.getLocationContext());  in checkPreStmt()
176   SVal LVal = State->getSVal(ASE->getLHS(), C.getLocationContext());  in checkPreStmt()
186   SVal BaseVal = State->getSVal(ME->getBase(), C.getLocationContext());  in checkPreStmt()
191                                              SVal Val) const {  in verifyDereference()
203 void IteratorRangeChecker::verifyIncrement(CheckerContext &C, SVal Iter) const {  in verifyIncrement()
209 void IteratorRangeChecker::verifyDecrement(CheckerContext &C, SVal Iter) const {  in verifyDecrement()
217                                                   SVal LHS, SVal RHS) const {  in verifyRandomIncrOrDecr()
257 void IteratorRangeChecker::verifyAdvance(CheckerContext &C, SVal LHS,  in verifyAdvance()
258                                          SVal RHS) const {  in verifyAdvance()
262 void IteratorRangeChecker::verifyPrev(CheckerContext &C, SVal LHS,  in verifyPrev()
263                                       SVal RHS) const {  in verifyPrev()
267 void IteratorRangeChecker::verifyNext(CheckerContext &C, SVal LHS,  in verifyNext()
268                                       SVal RHS) const {  in verifyNext()
272 void IteratorRangeChecker::reportBug(StringRef Message, SVal Val,  in reportBug()