Lines Matching refs:CheckerContext

38   void verifyDereference(CheckerContext &C, SVal Val) const;
39   void verifyIncrement(CheckerContext &C, SVal Iter) const;
40   void verifyDecrement(CheckerContext &C, SVal Iter) const;
41   void verifyRandomIncrOrDecr(CheckerContext &C, OverloadedOperatorKind Op,
43   void verifyAdvance(CheckerContext &C, SVal LHS, SVal RHS) const;
44   void verifyPrev(CheckerContext &C, SVal LHS, SVal RHS) const;
45   void verifyNext(CheckerContext &C, SVal LHS, SVal RHS) const;
46   void reportBug(StringRef Message, SVal Val, CheckerContext &C,
50   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
51   void checkPreStmt(const UnaryOperator *UO, CheckerContext &C) const;
52   void checkPreStmt(const BinaryOperator *BO, CheckerContext &C) const;
53   void checkPreStmt(const ArraySubscriptExpr *ASE, CheckerContext &C) const;
54   void checkPreStmt(const MemberExpr *ME, CheckerContext &C) const;
56   using AdvanceFn = void (IteratorRangeChecker::*)(CheckerContext &, SVal,
79                                         CheckerContext &C) const {  in checkPreCall()
144                                         CheckerContext &C) const {  in checkPreStmt()
162                                         CheckerContext &C) const {  in checkPreStmt()
179                                         CheckerContext &C) const {  in checkPreStmt()
186                                         CheckerContext &C) const {  in checkPreStmt()
195 void IteratorRangeChecker::verifyDereference(CheckerContext &C,  in verifyDereference()
208 void IteratorRangeChecker::verifyIncrement(CheckerContext &C, SVal Iter) const {  in verifyIncrement()
214 void IteratorRangeChecker::verifyDecrement(CheckerContext &C, SVal Iter) const {  in verifyDecrement()
220 void IteratorRangeChecker::verifyRandomIncrOrDecr(CheckerContext &C,  in verifyRandomIncrOrDecr()
262 void IteratorRangeChecker::verifyAdvance(CheckerContext &C, SVal LHS,  in verifyAdvance()
267 void IteratorRangeChecker::verifyPrev(CheckerContext &C, SVal LHS,  in verifyPrev()
272 void IteratorRangeChecker::verifyNext(CheckerContext &C, SVal LHS,  in verifyNext()
278                                      CheckerContext &C,  in reportBug()