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

diff --git a/lib/Analysis/BasicObjCFoundationChecks.cpp b/lib/Analysis/BasicObjCFoundationChecks.cpp
index b3f534d..8e32218 100644
--- a/lib/Analysis/BasicObjCFoundationChecks.cpp
+++ b/lib/Analysis/BasicObjCFoundationChecks.cpp
@@ -118,7 +118,7 @@
   typedef std::vector<BugReport*> ErrorsTy;
   ErrorsTy Errors;
       
-  RVal GetRVal(const GRState* St, Expr* E) { return VMgr->GetRVal(St, E); }
+  SVal GetSVal(const GRState* St, Expr* E) { return VMgr->GetSVal(St, E); }
       
   bool isNSString(ObjCInterfaceType* T, const char* suffix);
   bool AuditNSString(NodeTy* N, ObjCMessageExpr* ME);
@@ -193,8 +193,8 @@
   return false;
 }
 
-static inline bool isNil(RVal X) {
-  return isa<lval::ConcreteInt>(X);  
+static inline bool isNil(SVal X) {
+  return isa<loc::ConcreteInt>(X);  
 }
 
 //===----------------------------------------------------------------------===//
@@ -214,7 +214,7 @@
   
   Expr * E = ME->getArg(Arg);
   
-  if (isNil(GetRVal(N->getState(), E))) {
+  if (isNil(GetSVal(N->getState(), E))) {
     WarnNilArg(N, ME, Arg);
     return true;
   }
@@ -350,7 +350,7 @@
   IdentifierInfo* II;
   GRStateManager* VMgr;
     
-  RVal GetRVal(const GRState* St, Expr* E) { return VMgr->GetRVal(St, E); }
+  SVal GetSVal(const GRState* St, Expr* E) { return VMgr->GetSVal(St, E); }
   
 public:
 
@@ -468,18 +468,18 @@
 bool AuditCFNumberCreate::Audit(ExplodedNode<GRState>* N,GRStateManager&){  
   CallExpr* CE = cast<CallExpr>(cast<PostStmt>(N->getLocation()).getStmt());
   Expr* Callee = CE->getCallee();  
-  RVal CallV = GetRVal(N->getState(), Callee);  
-  lval::FuncVal* FuncV = dyn_cast<lval::FuncVal>(&CallV);
+  SVal CallV = GetSVal(N->getState(), Callee);  
+  loc::FuncVal* FuncV = dyn_cast<loc::FuncVal>(&CallV);
 
   if (!FuncV || FuncV->getDecl()->getIdentifier() != II || CE->getNumArgs()!=3)
     return false;
   
   // Get the value of the "theType" argument.
-  RVal  TheTypeVal = GetRVal(N->getState(), CE->getArg(1));
+  SVal  TheTypeVal = GetSVal(N->getState(), CE->getArg(1));
   
     // FIXME: We really should allow ranges of valid theType values, and
     //   bifurcate the state appropriately.
-  nonlval::ConcreteInt* V = dyn_cast<nonlval::ConcreteInt>(&TheTypeVal);
+  nonloc::ConcreteInt* V = dyn_cast<nonloc::ConcreteInt>(&TheTypeVal);
   
   if (!V)
     return false;
@@ -494,11 +494,11 @@
   // Look at the value of the integer being passed by reference.  Essentially
   // we want to catch cases where the value passed in is not equal to the
   // size of the type being created.
-  RVal TheValueExpr = GetRVal(N->getState(), CE->getArg(2));
+  SVal TheValueExpr = GetSVal(N->getState(), CE->getArg(2));
   
   // FIXME: Eventually we should handle arbitrary locations.  We can do this
   //  by having an enhanced memory model that does low-level typing.
-  lval::MemRegionVal* LV = dyn_cast<lval::MemRegionVal>(&TheValueExpr);
+  loc::MemRegionVal* LV = dyn_cast<loc::MemRegionVal>(&TheValueExpr);
 
   if (!LV)
     return false;