commit ccc22924b07e80873eff4568022a3db9d112a8ee
author Ted Kremenek <kremenek@apple.com> Thu Jul 16 00:00:11 2009 +0000
committer Ted Kremenek <kremenek@apple.com> Thu Jul 16 00:00:11 2009 +0000
tree 401f6925402466cdb748fe142cc5ecc397a602ba
parent 06941b3f7ca45350487d7f326dfce82daf85e27b

Use utility method to create 0-index into ElementRegion.

llvm-svn: 75865

clang/lib/Analysis/RegionStore.cpp

diff --git a/clang/lib/Analysis/RegionStore.cpp b/clang/lib/Analysis/RegionStore.cpp
index fa355f5..af731c7 100644
--- a/clang/lib/Analysis/RegionStore.cpp
+++ b/clang/lib/Analysis/RegionStore.cpp
@@ -672,8 +672,8 @@
   ArrayType *AT = cast<ArrayType>(T);
   T = AT->getElementType();
   
-  nonloc::ConcreteInt Idx(getBasicVals().getZeroWithPtrWidth(false));
-  ElementRegion* ER = MRMgr.getElementRegion(T, Idx, ArrayR, getContext());
+  SVal ZeroIdx = ValMgr.makeZeroArrayIndex();
+  ElementRegion* ER = MRMgr.getElementRegion(T, ZeroIdx, ArrayR, getContext());
   
   return loc::MemRegionVal(ER);                    
 }