Lines Matching refs:SVal
81 void reportBug(SVal Val, CheckerContext &C) const;
87 void setDivZeroMap(SVal Var, CheckerContext &C) const;
88 bool hasDivZeroMap(SVal Var, const CheckerContext &C) const;
89 bool isZero(SVal S, CheckerContext &C) const;
115 SVal S = Succ->getSVal(E); in REGISTER_SET_WITH_PROGRAMSTATE()
134 bool TestAfterDivZeroChecker::isZero(SVal S, CheckerContext &C) const { in isZero()
144 void TestAfterDivZeroChecker::setDivZeroMap(SVal Var, CheckerContext &C) const { in setDivZeroMap()
155 bool TestAfterDivZeroChecker::hasDivZeroMap(SVal Var, in hasDivZeroMap()
165 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const { in reportBug()
205 SVal S = C.getSVal(B->getRHS()); in checkPreStmt()
226 SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS()); in checkBranchCondition()
232 SVal Val; in checkBranchCondition()
247 SVal Val = C.getSVal(IE->getSubExpr()); in checkBranchCondition()
252 SVal Val = C.getSVal(Condition); in checkBranchCondition()