[cfe-commits] r75865 - /cfe/trunk/lib/Analysis/RegionStore.cpp

[Ted Kremenek]

Author: kremenek
Date: Wed Jul 15 19:00:11 2009
New Revision: 75865

URL: http://llvm.org/viewvc/llvm-project?rev=75865&view=rev
Log:
Use utility method to create 0-index into ElementRegion.

Modified:
    cfe/trunk/lib/Analysis/RegionStore.cpp

Modified: cfe/trunk/lib/Analysis/RegionStore.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/RegionStore.cpp?rev=75865&r1=75864&r2=75865&view=diff

==============================================================================
--- cfe/trunk/lib/Analysis/RegionStore.cpp (original)
+++ cfe/trunk/lib/Analysis/RegionStore.cpp Wed Jul 15 19:00:11 2009
@@ -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);                    
 }