78     V = Pred->getState()->getSVal(*L);  in performTrivialCopy()
139       SVal ThisVal = State->getSVal(ThisPtr);  in computeObjectUnderConstruction()
535     Base = State->getSVal(ME, LCtx);  in bindRequiredArrayElementToEnvironment()
568         State = State->BindExpr(CE, LCtx, State->getSVal(*L, CE->getType()));  in handleConstructor()
648     SVal ThisVal = State->getSVal(ThisPtr);  in handleConstructor()
907     SVal RetVal = State->getSVal(CNE, LCtx);  in VisitCXXNewAllocatorCall()
1021         SVal V = State->getSVal(Init, LCtx);  in VisitCXXNewExpr()
1044     SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx);  in VisitCXXNewExpr()
1061       evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx),  in VisitCXXNewExpr()
1119   SVal V = state->getSVal(loc::MemRegionVal(R));  in VisitCXXThisExpr()
1159         InitVal = State->getSVal(InitVal.getAsRegion());  in VisitLambdaExpr()
1163         InitVal = State->getSVal(InitExpr, LocCtxt);  in VisitLambdaExpr()
1174       InitVal = State->getSVal(SizeExpr, LocCtxt);  in VisitLambdaExpr()
1183   SVal LambdaRVal = State->getSVal(R);  in VisitLambdaExpr()