commit 3c2828d465a11dc15787a66feac39995682e6cc1
author Zhongxing Xu <xuzhongxing@gmail.com> Tue Jun 23 06:13:19 2009 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Tue Jun 23 06:13:19 2009 +0000
tree 2682eab33a3b6ea3d70c0b49fe53182be0504f2f
parent 548daa61f7db4d4008a4a0392b4e779ded914a01

ValueManager::makeNonLoc -> ValueManager::makeIntVal
Clean up code with ValueManager.


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

lib/Analysis/RegionStore.cpp

diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp
index 0d0f83d..f0374bd 100644
--- a/lib/Analysis/RegionStore.cpp
+++ b/lib/Analysis/RegionStore.cpp
@@ -1100,7 +1100,7 @@
       if (j >= len)
         break;
 
-      SVal Idx = ValMgr.makeNonLoc(i);
+      SVal Idx = ValMgr.makeIntVal(i);
       ElementRegion* ER = MRMgr.getElementRegion(ElementTy, Idx,R,getContext());
 
       SVal V = NonLoc::MakeVal(getBasicVals(), str[j], sizeof(char)*8, true);
@@ -1118,7 +1118,7 @@
     if (VI == VE)
       break;
 
-    SVal Idx = ValMgr.makeNonLoc(i);
+    SVal Idx = ValMgr.makeIntVal(i);
     ElementRegion* ER = MRMgr.getElementRegion(ElementTy, Idx, R, getContext());
 
     if (CAT->getElementType()->isStructureType())
@@ -1131,7 +1131,7 @@
   // to 0.
   if (ElementTy->isIntegerType()) {
     while (i < Size) {
-      SVal Idx = ValMgr.makeNonLoc(i);
+      SVal Idx = ValMgr.makeIntVal(i);
       ElementRegion* ER = MRMgr.getElementRegion(ElementTy, Idx,R,getContext());
       SVal V = ValMgr.makeZeroVal(ElementTy);
       state = Bind(state, Loc::MakeVal(ER), V);