Relax assertion.

llvm-svn: 75738
2009-07-15 04:23:32 +00:00 · 2009-07-15 04:23:32 +00:00 · 57fa7e3cc8
parent 55452c2bea
commit 57fa7e3cc8
1 changed files with 2 additions and 1 deletions
--- a/clang/lib/Analysis/RegionStore.cpp
+++ b/clang/lib/Analysis/RegionStore.cpp
@ -838,7 +838,8 @@ SVal RegionStoreManager::Retrieve(const GRState *state, Loc L, QualType T) {
    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())