Home
last modified time | relevance | path

Searched refs:verifyIncrement (Results 1 – 1 of 1) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorRangeChecker.cpp39 void verifyIncrement(CheckerContext &C, SVal Iter) const;
89 verifyIncrement(C, InstCall->getCXXThisVal()); in checkPreCall()
92 verifyIncrement(C, Call.getArgSVal(0)); in checkPreCall()
155 verifyIncrement(C, SubVal); in checkPreStmt()
208 void IteratorRangeChecker::verifyIncrement(CheckerContext &C, SVal Iter) const { in verifyIncrement() function in IteratorRangeChecker