Lines Matching full:getsval
2264 SVal RecV = St->getSVal(RecExpr, NContext);
2710 cast<BlockDataRegion>(state->getSVal(BE,
2761 SymbolRef Sym = state->getSVal(CE, C.getLocationContext()).getAsLocSymbol();
2784 SVal V = state->getSVal(Child, pred->getLocationContext());
2799 state->getSVal(Ex, pred->getLocationContext()).getAsSymbol()) {
2826 if (SymbolRef Sym = State->getSVal(Ex, LCtx).getAsSymbol()) {
2845 Optional<Loc> IVarLoc = C.getSVal(IRE).getAs<Loc>();
2850 SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol();
2986 SVal PointeeVal = State->getSVal(ArgRegion);
3398 SVal RetVal = state->getSVal(CE->getArg(0), LCtx);
3636 SVal StoredVal = state->getSVal
