Home | History | Annotate | Download | only in Checkers

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);