Lines Matching refs:IteratorChecker
199 class IteratorChecker class
264 IteratorChecker();
400 IteratorChecker::IteratorChecker() { in IteratorChecker() function in IteratorChecker
412 void IteratorChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
601 void IteratorChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
743 void IteratorChecker::checkBind(SVal Loc, SVal Val, const Stmt *S, in checkBind()
759 void IteratorChecker::checkPostStmt(const MaterializeTemporaryExpr *MTE, in checkPostStmt()
771 void IteratorChecker::checkLiveSymbols(ProgramStateRef State, in checkLiveSymbols()
807 void IteratorChecker::checkDeadSymbols(SymbolReaper &SR, in checkDeadSymbols()
852 ProgramStateRef IteratorChecker::evalAssume(ProgramStateRef State, SVal Cond, in evalAssume()
890 void IteratorChecker::handleComparison(CheckerContext &C, const SVal &RetVal, in handleComparison()
916 void IteratorChecker::verifyDereference(CheckerContext &C, in verifyDereference()
929 void IteratorChecker::verifyAccess(CheckerContext &C, const SVal &Val) const { in verifyAccess()
941 void IteratorChecker::handleIncrement(CheckerContext &C, const SVal &RetVal, in handleIncrement()
959 void IteratorChecker::handleDecrement(CheckerContext &C, const SVal &RetVal, in handleDecrement()
1018 void IteratorChecker::handleRandomIncrOrDecr(CheckerContext &C, in handleRandomIncrOrDecr()
1042 void IteratorChecker::verifyIncrement(CheckerContext &C, in verifyIncrement()
1049 void IteratorChecker::verifyDecrement(CheckerContext &C, in verifyDecrement()
1056 void IteratorChecker::verifyRandomIncrOrDecr(CheckerContext &C, in verifyRandomIncrOrDecr()
1097 void IteratorChecker::verifyMatch(CheckerContext &C, const SVal &Iter, in verifyMatch()
1113 void IteratorChecker::verifyMatch(CheckerContext &C, const SVal &Iter1, in verifyMatch()
1128 void IteratorChecker::handleBegin(CheckerContext &C, const Expr *CE, in handleBegin()
1152 void IteratorChecker::handleEnd(CheckerContext &C, const Expr *CE, in handleEnd()
1176 void IteratorChecker::assignToContainer(CheckerContext &C, const Expr *CE, in assignToContainer()
1191 void IteratorChecker::handleAssign(CheckerContext &C, const SVal &Cont, in handleAssign()
1267 void IteratorChecker::handleClear(CheckerContext &C, const SVal &Cont) const { in handleClear()
1293 void IteratorChecker::handlePushBack(CheckerContext &C, in handlePushBack()
1331 void IteratorChecker::handlePopBack(CheckerContext &C, const SVal &Cont) const { in handlePopBack()
1368 void IteratorChecker::handlePushFront(CheckerContext &C, in handlePushFront()
1401 void IteratorChecker::handlePopFront(CheckerContext &C, in handlePopFront()
1435 void IteratorChecker::handleInsert(CheckerContext &C, const SVal &Iter) const { in handleInsert()
1460 void IteratorChecker::handleErase(CheckerContext &C, const SVal &Iter) const { in handleErase()
1488 void IteratorChecker::handleErase(CheckerContext &C, const SVal &Iter1, in handleErase()
1520 void IteratorChecker::handleEraseAfter(CheckerContext &C, in handleEraseAfter()
1541 void IteratorChecker::handleEraseAfter(CheckerContext &C, const SVal &Iter1, in handleEraseAfter()
1555 IteratorPosition IteratorChecker::advancePosition(CheckerContext &C, in advancePosition()
1584 void IteratorChecker::reportOutOfRangeBug(const StringRef &Message, in reportOutOfRangeBug()
1592 void IteratorChecker::reportMismatchedBug(const StringRef &Message, in reportMismatchedBug()
1602 void IteratorChecker::reportMismatchedBug(const StringRef &Message, in reportMismatchedBug()
1612 void IteratorChecker::reportInvalidatedBug(const StringRef &Message, in reportInvalidatedBug()
2400 auto *checker = Mgr.registerChecker<IteratorChecker>(); \
2401 checker->ChecksEnabled[IteratorChecker::CK_##name] = true; \
2402 checker->CheckNames[IteratorChecker::CK_##name] = \