commit 9c741d629acece315f89c0daa5e7cfe82de27875
author Ted Kremenek <kremenek@apple.com> Wed Jul 15 04:23:32 2009 +0000
committer Ted Kremenek <kremenek@apple.com> Wed Jul 15 04:23:32 2009 +0000
tree 4000d81129928104d82f71f276d3f96967eda23d
parent 2b5c5a04c880f80c2249678baf7f8378134d9a00

Relax assertion.


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

lib/Analysis/RegionStore.cpp

diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp
index b4eb4b8..1dc5118 100644
--- a/lib/Analysis/RegionStore.cpp
+++ b/lib/Analysis/RegionStore.cpp
@@ -838,7 +838,8 @@
     SVal idx = ValMgr.makeIntVal(0, Ctx.IntTy);
     R = MRMgr.getElementRegion(T, idx, R, Ctx);
     RTy = T;
-    assert(RTy == R->getValueType(Ctx));
+    assert(Ctx.getCanonicalType(RTy) ==
+           Ctx.getCanonicalType(R->getValueType(Ctx)));
   }  
 
   if (RTy->isStructureType())