commit b5bf7ee3934a6b0c098183239f5b1c6215e4a52e
author Zhongxing Xu <xuzhongxing@gmail.com> Wed Jul 15 05:09:24 2009 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Wed Jul 15 05:09:24 2009 +0000
tree 0dfd86cb24f6e0035ff697e049f2e28b6212498f
parent e4a3f6fa3bf246f25bd1d1d6019da86f2a2d1aae

Use utility method.

llvm-svn: 75745

clang/lib/Analysis/RegionStore.cpp

diff --git a/clang/lib/Analysis/RegionStore.cpp b/clang/lib/Analysis/RegionStore.cpp
index 1dc5118d9e..661f84f 100644
--- a/clang/lib/Analysis/RegionStore.cpp
+++ b/clang/lib/Analysis/RegionStore.cpp
@@ -814,7 +814,7 @@
   
   if (isa<SymbolicRegion>(MR)) {
     ASTContext &Ctx = getContext();
-    SVal idx = ValMgr.makeIntVal(0, Ctx.IntTy);
+    SVal idx = ValMgr.makeZeroArrayIndex();
     assert(!T.isNull());
     MR = MRMgr.getElementRegion(T, idx, MR, Ctx);
   }