Lines Matching refs:SVal
83 void reportBug(SVal Val, 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;
119 SVal S = State->getSVal(E, Succ->getLocationContext());
138 bool TestAfterDivZeroChecker::isZero(SVal S, CheckerContext &C) const {
148 void TestAfterDivZeroChecker::setDivZeroMap(SVal Var, CheckerContext &C) const {
159 bool TestAfterDivZeroChecker::hasDivZeroMap(SVal Var,
169 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const {
208 SVal S = C.getSVal(B->getRHS());
229 SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS());
235 SVal Val;
250 SVal Val = C.getSVal(IE->getSubExpr());
255 SVal Val = C.getSVal(Condition);