commit fe483ee196b58d11e91586e8ec59b9944a985d93
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 cde468f1739627b036bbffe5e0e83ac5296af540

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();
 }