Lines Matching refs:CheckerContext

82   void reportBug(SVal Val, CheckerContext &C) const;
85   void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
86   void checkBranchCondition(const Stmt *Condition, CheckerContext &C) const;
87   void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const;
88   void setDivZeroMap(SVal Var, CheckerContext &C) const;
89   bool hasDivZeroMap(SVal Var, const CheckerContext &C) const;
90   bool isZero(SVal S, CheckerContext &C) const;
135 bool TestAfterDivZeroChecker::isZero(SVal S, CheckerContext &C) const {  in isZero()
145 void TestAfterDivZeroChecker::setDivZeroMap(SVal Var, CheckerContext &C) const {  in setDivZeroMap()
157                                             const CheckerContext &C) const {  in hasDivZeroMap()
166 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const {  in reportBug()
181                                                CheckerContext &C) const {  in checkEndFunction()
197                                            CheckerContext &C) const {  in checkPreStmt()
209                                                    CheckerContext &C) const {  in checkBranchCondition()