commit 143b2fc6fd3945c250b333383749010c2c8e3a4c
author Zhongxing Xu <xuzhongxing@gmail.com> Tue Jun 16 09:55:50 2009 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Tue Jun 16 09:55:50 2009 +0000
tree d372e866796eaa2261b7bd0af44fc416f1d5f68f
parent 78d5b5e738c81b596f20205437120d5f3d7c5d9e

Use canonical type for building ElementRegion. Otherwise ElementRegions cannot
be unique.


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

lib/Analysis/BasicStore.cpp

diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp
index 2dd46c3..ba4c021 100644
--- a/lib/Analysis/BasicStore.cpp
+++ b/lib/Analysis/BasicStore.cpp
@@ -248,7 +248,7 @@
   
   if (BaseR)  
     return Loc::MakeVal(MRMgr.getElementRegion(elementType, UnknownVal(),
-                                               BaseR));
+                                               BaseR, getContext()));
   else
     return UnknownVal();
 }