commit 097fc9825853bc6113df535d6117ccf9d7463e79
author Zhongxing Xu <xuzhongxing@gmail.com> Fri Oct 17 05:57:07 2008 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Fri Oct 17 05:57:07 2008 +0000
tree 4d2ab34daff9c66fe996657201955fb24de6cd84
parent bcec9d5463f42d0daa1cecc8becd4dab5ad10a79

This patch did the following renaming. There should be no functional changes.
RVal => SVal
LVal => Loc
NonLVal => NonLoc
lval => loc
nonlval => nonloc


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@57671 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/RegionStore.cpp

diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp
index 7004c55..6757f43 100644
--- a/lib/Analysis/RegionStore.cpp
+++ b/lib/Analysis/RegionStore.cpp
@@ -23,7 +23,7 @@
 
 using namespace clang;
 
-typedef llvm::ImmutableMap<const MemRegion*, RVal> RegionBindingsTy;
+typedef llvm::ImmutableMap<const MemRegion*, SVal> RegionBindingsTy;
 
 namespace {
 
@@ -38,7 +38,7 @@
 
   virtual ~RegionStoreManager() {}
 
-  Store SetRVal(Store St, LVal LV, RVal V);
+  Store SetSVal(Store St, Loc LV, SVal V);
 
   Store getInitialStore();
 
@@ -49,10 +49,10 @@
 
 } // end anonymous namespace
 
-Store RegionStoreManager::SetRVal(Store store, LVal LV, RVal V) {
-  assert(LV.getSubKind() == lval::MemRegionKind);
+Store RegionStoreManager::SetSVal(Store store, Loc LV, SVal V) {
+  assert(LV.getSubKind() == loc::MemRegionKind);
 
-  MemRegion* R = cast<lval::MemRegionVal>(LV).getRegion();
+  MemRegion* R = cast<loc::MemRegionVal>(LV).getRegion();
   
   if (!R)
     return store;
@@ -79,16 +79,16 @@
 
       QualType T = VD->getType();
       // Only handle pointers and integers for now.
-      if (LVal::IsLValType(T) || T->isIntegerType()) {
+      if (Loc::IsLocType(T) || T->isIntegerType()) {
         MemRegion* R = MRMgr.getVarRegion(VD);
         // Initialize globals and parameters to symbolic values.
         // Initialize local variables to undefined.
-        RVal X = (VD->hasGlobalStorage() || isa<ParmVarDecl>(VD) ||
+        SVal X = (VD->hasGlobalStorage() || isa<ParmVarDecl>(VD) ||
                   isa<ImplicitParamDecl>(VD))
-                 ? RVal::GetSymbolValue(StateMgr.getSymbolManager(), VD)
+                 ? SVal::GetSymbolValue(StateMgr.getSymbolManager(), VD)
                  : UndefinedVal();
 
-        St = SetRVal(St, lval::MemRegionVal(R), X);
+        St = SetSVal(St, loc::MemRegionVal(R), X);
       }
     }
   }