Lines Matching refs:SVal

82   void reportBug(SVal Val, 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;
116   SVal S = Succ->getSVal(E);  in REGISTER_SET_WITH_PROGRAMSTATE()
135 bool TestAfterDivZeroChecker::isZero(SVal S, CheckerContext &C) const {  in isZero()
145 void TestAfterDivZeroChecker::setDivZeroMap(SVal Var, CheckerContext &C) const {  in setDivZeroMap()
156 bool TestAfterDivZeroChecker::hasDivZeroMap(SVal Var,  in hasDivZeroMap()
166 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const {  in reportBug()
201     SVal S = C.getSVal(B->getRHS());  in checkPreStmt()
222       SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS());  in checkBranchCondition()
228       SVal Val;  in checkBranchCondition()
243     SVal Val = C.getSVal(IE->getSubExpr());  in checkBranchCondition()
248       SVal Val = C.getSVal(Condition);  in checkBranchCondition()