Lines Matching refs:CheckerContext
83 void reportBug(SVal Val, CheckerContext &C) const;
86 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
87 void checkBranchCondition(const Stmt *Condition, CheckerContext &C) const;
88 void checkEndFunction(CheckerContext &C) const;
89 void setDivZeroMap(SVal Var, CheckerContext &C) const;
90 bool hasDivZeroMap(SVal Var, const CheckerContext &C) const;
91 bool isZero(SVal S, CheckerContext &C) const;
138 bool TestAfterDivZeroChecker::isZero(SVal S, CheckerContext &C) const { in isZero()
148 void TestAfterDivZeroChecker::setDivZeroMap(SVal Var, CheckerContext &C) const { in setDivZeroMap()
160 const CheckerContext &C) const { in hasDivZeroMap()
169 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const { in reportBug()
185 void TestAfterDivZeroChecker::checkEndFunction(CheckerContext &C) const { in checkEndFunction()
204 CheckerContext &C) const { in checkPreStmt()
216 CheckerContext &C) const { in checkBranchCondition()