Home
last modified time | relevance | path

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

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorChecker.cpp242 void verifyDecrement(CheckerContext &C, const SVal &Iter) const;
443 verifyDecrement(C, InstCall->getCXXThisVal()); in checkPreCall()
446 verifyDecrement(C, Call.getArgSVal(0)); in checkPreCall()
1049 void IteratorChecker::verifyDecrement(CheckerContext &C, in verifyDecrement() function in IteratorChecker