Lines Matching refs:CheckerContext

37   void verifyDereference(CheckerContext &C, SVal Val) const;
38   void verifyIncrement(CheckerContext &C, SVal Iter) const;
39   void verifyDecrement(CheckerContext &C, SVal Iter) const;
40   void verifyRandomIncrOrDecr(CheckerContext &C, OverloadedOperatorKind Op,
42   void verifyAdvance(CheckerContext &C, SVal LHS, SVal RHS) const;
43   void verifyPrev(CheckerContext &C, SVal LHS, SVal RHS) const;
44   void verifyNext(CheckerContext &C, SVal LHS, SVal RHS) const;
45   void reportBug(const StringRef &Message, SVal Val, CheckerContext &C,
51   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
52   void checkPreStmt(const UnaryOperator *UO, CheckerContext &C) const;
53   void checkPreStmt(const BinaryOperator *BO, CheckerContext &C) const;
54   void checkPreStmt(const ArraySubscriptExpr *ASE, CheckerContext &C) const;
55   void checkPreStmt(const MemberExpr *ME, CheckerContext &C) const;
57   using AdvanceFn = void (IteratorRangeChecker::*)(CheckerContext &, SVal,
80                                         CheckerContext &C) const {  in checkPreCall()
145                                         CheckerContext &C) const {  in checkPreStmt()
163                                         CheckerContext &C) const {  in checkPreStmt()
180                                         CheckerContext &C) const {  in checkPreStmt()
187                                         CheckerContext &C) const {  in checkPreStmt()
196 void IteratorRangeChecker::verifyDereference(CheckerContext &C,  in verifyDereference()
209 void IteratorRangeChecker::verifyIncrement(CheckerContext &C, SVal Iter) const {  in verifyIncrement()
215 void IteratorRangeChecker::verifyDecrement(CheckerContext &C, SVal Iter) const {  in verifyDecrement()
221 void IteratorRangeChecker::verifyRandomIncrOrDecr(CheckerContext &C,  in verifyRandomIncrOrDecr()
263 void IteratorRangeChecker::verifyAdvance(CheckerContext &C, SVal LHS,  in verifyAdvance()
268 void IteratorRangeChecker::verifyPrev(CheckerContext &C, SVal LHS,  in verifyPrev()
273 void IteratorRangeChecker::verifyNext(CheckerContext &C, SVal LHS,  in verifyNext()
279                                      CheckerContext &C,  in reportBug()