Lines Matching refs:SVal

79   void reportBug(SVal Val, 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;
113   SVal S = Succ->getSVal(E);  in REGISTER_SET_WITH_PROGRAMSTATE()
132 bool TestAfterDivZeroChecker::isZero(SVal S, CheckerContext &C) const {  in isZero()
142 void TestAfterDivZeroChecker::setDivZeroMap(SVal Var, CheckerContext &C) const {  in setDivZeroMap()
153 bool TestAfterDivZeroChecker::hasDivZeroMap(SVal Var,  in hasDivZeroMap()
163 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const {  in reportBug()
198     SVal S = C.getSVal(B->getRHS());  in checkPreStmt()
219       SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS());  in checkBranchCondition()
225       SVal Val;  in checkBranchCondition()
240     SVal Val = C.getSVal(IE->getSubExpr());  in checkBranchCondition()
245       SVal Val = C.getSVal(Condition);  in checkBranchCondition()