Lines Matching refs:CheckerContext

79   void reportBug(SVal Val, CheckerContext &C) const;
82   void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
83   void checkBranchCondition(const Stmt *Condition, CheckerContext &C) const;
84   void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const;
85   void setDivZeroMap(SVal Var, CheckerContext &C) const;
86   bool hasDivZeroMap(SVal Var, const CheckerContext &C) const;
87   bool isZero(SVal S, CheckerContext &C) const;
132 bool TestAfterDivZeroChecker::isZero(SVal S, CheckerContext &C) const {  in isZero()
142 void TestAfterDivZeroChecker::setDivZeroMap(SVal Var, CheckerContext &C) const {  in setDivZeroMap()
154                                             const CheckerContext &C) const {  in hasDivZeroMap()
163 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const {  in reportBug()
178                                                CheckerContext &C) const {  in checkEndFunction()
194                                            CheckerContext &C) const {  in checkPreStmt()
206                                                    CheckerContext &C) const {  in checkBranchCondition()