Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorRangeChecker.cpp39 void verifyDecrement(CheckerContext &C, SVal Iter) const;
99 verifyDecrement(C, InstCall->getCXXThisVal()); in checkPreCall()
102 verifyDecrement(C, Call.getArgSVal(0)); in checkPreCall()
158 verifyDecrement(C, SubVal); in checkPreStmt()
215 void IteratorRangeChecker::verifyDecrement(CheckerContext &C, SVal Iter) const { in verifyDecrement() function in IteratorRangeChecker