commit 1c96b24285d05c0eac455ae96d7c9ff43d42bc96
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 ef8b28e9459e729b7bd8c826d204621b039611fa

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/GRState.cpp

diff --git a/lib/Analysis/GRState.cpp b/lib/Analysis/GRState.cpp
index 49bc24a..09275e2 100644
--- a/lib/Analysis/GRState.cpp
+++ b/lib/Analysis/GRState.cpp
@@ -59,11 +59,11 @@
                                            LSymbols, DSymbols);
 }
 
-const GRState* GRStateManager::SetRVal(const GRState* St, LVal LV,
-                                             RVal V) {
+const GRState* GRStateManager::SetSVal(const GRState* St, Loc LV,
+                                             SVal V) {
   
   Store OldStore = St->getStore();
-  Store NewStore = StoreMgr->SetRVal(OldStore, LV, V);
+  Store NewStore = StoreMgr->SetSVal(OldStore, LV, V);
   
   if (NewStore == OldStore)
     return St;
@@ -80,7 +80,7 @@
 
   if (Ex)
     NewStore = StoreMgr->AddDecl(OldStore, VD, Ex, 
-                              GetRVal(St, Ex), Count);
+                              GetSVal(St, Ex), Count);
   else
     NewStore = StoreMgr->AddDecl(OldStore, VD, Ex);
                               
@@ -92,7 +92,7 @@
   return getPersistentState(NewSt);
 }
 
-const GRState* GRStateManager::Unbind(const GRState* St, LVal LV) {
+const GRState* GRStateManager::Unbind(const GRState* St, Loc LV) {
   Store OldStore = St->getStore();
   Store NewStore = StoreMgr->Remove(OldStore, LV);
   
@@ -240,18 +240,18 @@
 bool GRStateManager::isEqual(const GRState* state, Expr* Ex,
                              const llvm::APSInt& Y) {
   
-  RVal V = GetRVal(state, Ex);
+  SVal V = GetSVal(state, Ex);
   
-  if (lval::ConcreteInt* X = dyn_cast<lval::ConcreteInt>(&V))
+  if (loc::ConcreteInt* X = dyn_cast<loc::ConcreteInt>(&V))
     return X->getValue() == Y;
 
-  if (nonlval::ConcreteInt* X = dyn_cast<nonlval::ConcreteInt>(&V))
+  if (nonloc::ConcreteInt* X = dyn_cast<nonloc::ConcreteInt>(&V))
     return X->getValue() == Y;
     
-  if (nonlval::SymbolVal* X = dyn_cast<nonlval::SymbolVal>(&V))
+  if (nonloc::SymbolVal* X = dyn_cast<nonloc::SymbolVal>(&V))
     return ConstraintMgr->isEqual(state, X->getSymbol(), Y);
   
-  if (lval::SymbolVal* X = dyn_cast<lval::SymbolVal>(&V))
+  if (loc::SymbolVal* X = dyn_cast<loc::SymbolVal>(&V))
     return ConstraintMgr->isEqual(state, X->getSymbol(), Y);
   
   return false;