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

diff --git a/lib/Analysis/GRExprEngineInternalChecks.cpp b/lib/Analysis/GRExprEngineInternalChecks.cpp
index d61998c..c313697 100644
--- a/lib/Analysis/GRExprEngineInternalChecks.cpp
+++ b/lib/Analysis/GRExprEngineInternalChecks.cpp
@@ -194,8 +194,8 @@
       assert (E && "Return expression cannot be NULL");
       
       // Get the value associated with E.
-      lval::MemRegionVal V =
-        cast<lval::MemRegionVal>(Eng.getStateManager().GetRVal(N->getState(),
+      loc::MemRegionVal V =
+        cast<loc::MemRegionVal>(Eng.getStateManager().GetSVal(N->getState(),
                                                                E));
       
       // Generate a report for this bug.
@@ -235,7 +235,7 @@
       return Ex;
     }
     
-    bool MatchesCriteria(Expr* Ex) { return VM.GetRVal(St, Ex).isUndef(); }
+    bool MatchesCriteria(Expr* Ex) { return VM.GetSVal(St, Ex).isUndef(); }
   };
   
 public:
@@ -303,12 +303,12 @@
     CallExpr* CE = cast<CallExpr>(cast<PostStmt>(N->getLocation()).getStmt());
     const GRState* state = N->getState();
     
-    RVal X = VMgr.GetRVal(state, CE->getCallee());
+    SVal X = VMgr.GetSVal(state, CE->getCallee());
     
-    if (!isa<lval::FuncVal>(X))
+    if (!isa<loc::FuncVal>(X))
       return false;
     
-    FunctionDecl* FD = dyn_cast<FunctionDecl>(cast<lval::FuncVal>(X).getDecl());
+    FunctionDecl* FD = dyn_cast<FunctionDecl>(cast<loc::FuncVal>(X).getDecl());
     const NonNullAttr* Att = FD->getAttr<NonNullAttr>();
     
     if (!Att)