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

diff --git a/lib/Analysis/BugReporter.cpp b/lib/Analysis/BugReporter.cpp
index 8345671..0663ddd 100644
--- a/lib/Analysis/BugReporter.cpp
+++ b/lib/Analysis/BugReporter.cpp
@@ -292,7 +292,7 @@
 
 static VarDecl* GetMostRecentVarDeclBinding(ExplodedNode<GRState>* N,
                                             GRStateManager& VMgr,
-                                            RVal X) {
+                                            SVal X) {
   
   for ( ; N ; N = N->pred_empty() ? 0 : *N->pred_begin()) {
     
@@ -306,7 +306,7 @@
     if (!DR)
       continue;
     
-    RVal Y = VMgr.GetRVal(N->getState(), DR);
+    SVal Y = VMgr.GetSVal(N->getState(), DR);
     
     if (X != Y)
       continue;
@@ -341,13 +341,13 @@
                        PathDiagnostic& pd, BugReporter& br)
     : Sym(sym), PrevSt(prevst), S(s), VMgr(vmgr), Pred(pred), PD(pd), BR(br) {}
                         
-  bool HandleBinding(StoreManager& SMgr, Store store, MemRegion* R, RVal V) {
+  bool HandleBinding(StoreManager& SMgr, Store store, MemRegion* R, SVal V) {
 
     SymbolID ScanSym;
     
-    if (lval::SymbolVal* SV = dyn_cast<lval::SymbolVal>(&V))
+    if (loc::SymbolVal* SV = dyn_cast<loc::SymbolVal>(&V))
       ScanSym = SV->getSymbol();
-    else if (nonlval::SymbolVal* SV = dyn_cast<nonlval::SymbolVal>(&V))
+    else if (nonloc::SymbolVal* SV = dyn_cast<nonloc::SymbolVal>(&V))
       ScanSym = SV->getSymbol();
     else
       return true;
@@ -356,7 +356,7 @@
       return true;
     
     // Check if the previous state has this binding.    
-    RVal X = VMgr.GetRVal(PrevSt, lval::MemRegionVal(R));
+    SVal X = VMgr.GetSVal(PrevSt, loc::MemRegionVal(R));
     
     if (X == V) // Same binding?
       return true;
@@ -443,12 +443,12 @@
                      PathDiagnostic& pd)
     : N(n), S(s), BR(br), PD(pd) {}
   
-  bool HandleBinding(StoreManager& SMgr, Store store, MemRegion* R, RVal V) {
+  bool HandleBinding(StoreManager& SMgr, Store store, MemRegion* R, SVal V) {
     SymbolID ScanSym;
   
-    if (lval::SymbolVal* SV = dyn_cast<lval::SymbolVal>(&V))
+    if (loc::SymbolVal* SV = dyn_cast<loc::SymbolVal>(&V))
       ScanSym = SV->getSymbol();
-    else if (nonlval::SymbolVal* SV = dyn_cast<nonlval::SymbolVal>(&V))
+    else if (nonloc::SymbolVal* SV = dyn_cast<nonloc::SymbolVal>(&V))
       ScanSym = SV->getSymbol();
     else
       return true;