261       SVal V = state->getSVal(loc::MemRegionVal(R));  in getInitialState()
284     SVal V = state->getSVal(loc::MemRegionVal(R));  in getInitialState()
301         SVal V = state->getSVal(L);  in getInitialState()
322   SVal InitValWithAdjustments = State->getSVal(InitWithAdjustments, LC);  in createTemporaryRegionIfNeeded()
425   SVal InitVal = State->getSVal(Init, LC);  in createTemporaryRegionIfNeeded()
1001   SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame));  in ProcessInitializer()
1035         SVal LValue = State->getSVal(Init, stackFrame);  in ProcessInitializer()
1038             InitVal = State->getSVal(*LValueLoc);  in ProcessInitializer()
1048         InitVal = State->getSVal(BMI->getInit(), stackFrame);  in ProcessInitializer()
1131     const MemRegion *ValueRegion = state->getSVal(Region).getAsRegion();  in ProcessAutomaticObjDtor()
1163   SVal ArgVal = State->getSVal(Arg, LCtx);  in ProcessDeleteDtor()
1202   SVal ThisVal = Pred->getState()->getSVal(ThisPtr);  in ProcessBaseDtor()
1225   Loc ThisLoc = State->getSVal(ThisStorageLoc).castAs<Loc>();  in ProcessMemberDtor()
1691             SVal Val = State->getSVal(Child, LCtx);  in Visit()
1754                                           state->getSVal(B->getRHS(),  in Visit()
2027                                           state->getSVal(LastExpr,  in Visit()
2052         SVal V = state->getSVal(Result, Pred->getLocationContext());  in Visit()
2073       SVal V = state->getSVal(E, Pred->getLocationContext());  in Visit()
2260   return state->getSVal(Ex, LCtx);  in RecoverCastedSymbol()
2369   SVal X = State->getSVal(Condition, N->getLocationContext());  in assumeCondition()
2506   SVal V = state->getSVal(builder.getTarget(), builder.getLocationContext());  in processIndirectGoto()
2634   SVal  CondV_untested = state->getSVal(CondE, builder.getLocationContext());  in processSwitch()
2744         SVal CXXThisVal = state->getSVal(CXXThis);  in VisitCommonDeclRefExpr()
2759         V = state->getSVal(R);  in VisitCommonDeclRefExpr()
2791         Base = state->getSVal(R);  in VisitCommonDeclRefExpr()
2805       SVal Idx = state->getSVal(ASE->getIdx(), LCtx);  in VisitCommonDeclRefExpr()
2820           V = state->getSVal(R);  in VisitCommonDeclRefExpr()
2831         V = state->getSVal(R);  in VisitCommonDeclRefExpr()
2939       Base = state->getSVal(R);  in VisitArrayInitLoopExpr()
2984                                 state->getSVal(Idx, LCtx),  in VisitArraySubscriptExpr()
2985                                 state->getSVal(Base, LCtx));  in VisitArraySubscriptExpr()
3042           MR ? loc::MemRegionVal(MR) : state->getSVal(BaseExpr, LCtx);  in VisitMemberExpr()
3063             L = state->getSVal(R);  in VisitMemberExpr()
3099       SVal SubExprVal = State->getSVal(SubExpr, LCtx);  in VisitAtomicExpr()
3152     SVal StoredVal = State->getSVal(MR);  in processPointerEscapedOnBind()
3328       V = state->getSVal(location.castAs<Loc>(), LoadTy);  in evalLoad()
3397     SVal V = state->getSVal(Ex, Pred->getLocationContext());  in evalEagerlyAssumeBinOpBifurcation()
3436     SVal X = state->getSVal(O, Pred->getLocationContext());  in VisitGCCAsmStmt()