Lines Matching refs:getSVal
40 SVal LeftV = state->getSVal(LHS, LCtx);
41 SVal RightV = state->getSVal(RHS, LCtx);
132 SVal V = state->getSVal(LHS, LCtx);
211 SVal originalV = State->getSVal(loc::MemRegionVal(originalR));
239 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx));
285 SVal V = state->getSVal(Ex, LCtx);
324 SVal V = state->getSVal(Ex, LCtx);
333 SVal val = state->getSVal(Ex, LCtx);
341 SVal val = state->getSVal(Ex, LCtx);
419 SVal V = State->getSVal(CL->getInitializer(), LCtx);
471 SVal InitVal = state->getSVal(InitEx, LC);
484 InitVal = state->getSVal(M->getRegion());
558 SVal RHSVal = N->getState()->getSVal(RHS, Pred->getLocationContext());
610 SVal V = state->getSVal(cast<Expr>(*it), LCtx);
629 V = state->getSVal(IE->getInit(0), LCtx);
682 V = SrcState->getSVal(ValEx, LCtx);
792 state->getSVal(Ex, LCtx)));
817 // FIXME: We can probably just have some magic in Environment::getSVal()
828 state->getSVal(Ex, LCtx)));
841 SVal V = state->getSVal(Ex, LCtx);
899 SVal loc = state->getSVal(Ex, LCtx);
911 SVal V2_untested = state->getSVal(Ex, LCtx);
