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