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