Lines Matching refs:CheckerContext

209   void handleComparison(CheckerContext &C, const SVal &RetVal, const SVal &LVal,
211 void verifyAccess(CheckerContext &C, const SVal &Val) const;
212 void verifyDereference(CheckerContext &C, const SVal &Val) const;
213 void handleIncrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter,
215 void handleDecrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter,
217 void handleRandomIncrOrDecr(CheckerContext &C, OverloadedOperatorKind Op,
220 void handleBegin(CheckerContext &C, const Expr *CE, const SVal &RetVal,
222 void handleEnd(CheckerContext &C, const Expr *CE, const SVal &RetVal,
224 void assignToContainer(CheckerContext &C, const Expr *CE, const SVal &RetVal,
226 void handleAssign(CheckerContext &C, const SVal &Cont,
229 void handleClear(CheckerContext &C, const SVal &Cont) const;
230 void handlePushBack(CheckerContext &C, const SVal &Cont) const;
231 void handlePopBack(CheckerContext &C, const SVal &Cont) const;
232 void handlePushFront(CheckerContext &C, const SVal &Cont) const;
233 void handlePopFront(CheckerContext &C, const SVal &Cont) const;
234 void handleInsert(CheckerContext &C, const SVal &Iter) const;
235 void handleErase(CheckerContext &C, const SVal &Iter) const;
236 void handleErase(CheckerContext &C, const SVal &Iter1,
238 void handleEraseAfter(CheckerContext &C, const SVal &Iter) const;
239 void handleEraseAfter(CheckerContext &C, const SVal &Iter1,
241 void verifyIncrement(CheckerContext &C, const SVal &Iter) const;
242 void verifyDecrement(CheckerContext &C, const SVal &Iter) const;
243 void verifyRandomIncrOrDecr(CheckerContext &C, OverloadedOperatorKind Op,
245 void verifyMatch(CheckerContext &C, const SVal &Iter,
247 void verifyMatch(CheckerContext &C, const SVal &Iter1,
249 IteratorPosition advancePosition(CheckerContext &C, OverloadedOperatorKind Op,
253 CheckerContext &C, ExplodedNode *ErrNode) const;
255 const SVal &Val2, CheckerContext &C,
258 const MemRegion *Reg, CheckerContext &C,
261 CheckerContext &C, ExplodedNode *ErrNode) const;
276 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
277 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
278 void checkBind(SVal Loc, SVal Val, const Stmt *S, CheckerContext &C) const;
279 void checkPostStmt(const CXXConstructExpr *CCE, CheckerContext &C) const;
280 void checkPostStmt(const DeclStmt *DS, CheckerContext &C) const;
282 CheckerContext &C) const;
284 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
413 CheckerContext &C) const { in checkPreCall()
602 CheckerContext &C) const { in checkPostCall()
744 CheckerContext &C) const { in checkBind()
760 CheckerContext &C) const { in checkPostStmt()
808 CheckerContext &C) const { in checkDeadSymbols()
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()
1585 const SVal &Val, CheckerContext &C, in reportOutOfRangeBug()
1594 CheckerContext &C, in reportMismatchedBug()
1604 CheckerContext &C, in reportMismatchedBug()
1613 const SVal &Val, CheckerContext &C, in reportInvalidatedBug()