Lines Matching full:sval
1467 SVal ReceiverV = Msg.getReceiverSVal();
1902 SVal X = CurrSt->getSValAsScalarOrLoc(CE->getCallee(), LCtx);
2013 SVal X =
2200 SVal RecV = St->getSVal(RecExpr, NContext);
2546 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
2565 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
2720 SVal V = state->getSVal(child, pred->getLocationContext());
2822 SVal V = CallOrMsg.getArgSVal(idx);
2861 SVal V = CallOrMsg.getArgSVal(idx);
3209 SVal RetVal = state->getSVal(CE->getArg(0), LCtx);
3414 void RetainCountChecker::checkBind(SVal loc, SVal val, const Stmt *S,
3436 SVal StoredVal = state->getSVal(regionLoc->getRegion());
3461 SVal Cond,
