reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
219 void verifyDecrement(CheckerContext &C, const SVal &Iter) const;
398 verifyDecrement(C, InstCall->getCXXThisVal()); 401 verifyDecrement(C, Call.getArgSVal(0));