Searched refs:verifyDecrement (Results 1 – 1 of 1) sorted by relevance
40 void verifyDecrement(CheckerContext &C, SVal Iter) const;98 verifyDecrement(C, InstCall->getCXXThisVal()); in checkPreCall()101 verifyDecrement(C, Call.getArgSVal(0)); in checkPreCall()157 verifyDecrement(C, SubVal); in checkPreStmt()214 void IteratorRangeChecker::verifyDecrement(CheckerContext &C, SVal Iter) const { in verifyDecrement() function in IteratorRangeChecker