commit d09b5205ef5a480e309d5c508aa0e2e1456b15f9
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 25cc8114852e7da5fa2136c136cb1b6e3983b489
parent f97d8bbe738c3545debe116d5ae191e54f6ff611

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

llvm-svn: 73951

clang/lib/Analysis/RegionStore.cpp

diff --git a/clang/lib/Analysis/RegionStore.cpp b/clang/lib/Analysis/RegionStore.cpp
index 0d0f83d..f0374bd 100644
--- a/clang/lib/Analysis/RegionStore.cpp
+++ b/clang/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);