Lines Matching refs:IteratorsChecker
1 //=== IteratorsChecker.cpp - Check for Invalidated Iterators ------*- C++ -*----
10 // This defines IteratorsChecker, a number of small checks for conditions
91 class IteratorsChecker :
101 IteratorsChecker() :
156 static void *GDMIndex() { return IteratorsChecker::getTag(); }
162 mgr.registerChecker<IteratorsChecker>();
230 const ProgramState *IteratorsChecker::invalidateIterators(const ProgramState *state,
249 const ProgramState *IteratorsChecker::handleAssign(const ProgramState *state,
274 const ProgramState *IteratorsChecker::handleAssign(const ProgramState *state,
351 void IteratorsChecker::checkArgs(CheckerContext &C, const CallExpr *CE) const {
359 const DeclRefExpr *IteratorsChecker::getDeclRefExpr(const Expr *E) const {
379 const MemRegion *IteratorsChecker::getRegion(const ProgramState *state,
396 void IteratorsChecker::checkExpr(CheckerContext &C, const Expr *E) const {
411 const_cast<IteratorsChecker*>(this)->BT_Invalid = new BuiltinBug("");
434 const_cast<IteratorsChecker*>(this)->BT_Undefined =
450 void IteratorsChecker::checkPreStmt(const CallExpr *CE,
466 void IteratorsChecker::checkPreStmt(const CXXOperatorCallExpr *OCE,
502 const_cast<IteratorsChecker*>(this)->BT_Incompatible =
518 void IteratorsChecker::checkPreStmt(const DeclStmt *DS,
568 void IteratorsChecker::checkPreStmt(const CXXMemberCallExpr *MCE,
