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