[analyzer] Tweak LazyCompoundVal reuse check to ignore qualifiers.

This is optimization only; no behavioral change.

llvm-svn: 175231

diff --git a/clang/lib/StaticAnalyzer/Core/RegionStore.cpp b/clang/lib/StaticAnalyzer/Core/RegionStore.cpp
index 76abf23..8119966 100644 (file)
--- a/clang/lib/StaticAnalyzer/Core/RegionStore.cpp
+++ b/clang/lib/StaticAnalyzer/Core/RegionStore.cpp
@@ -1605,7 +1605,7 @@ NonLoc RegionStoreManager::createLazyBinding(RegionBindingsConstRef B,
     if (LCV) {
       QualType RegionTy = R->getValueType();
       QualType SourceRegionTy = LCV->getRegion()->getValueType();
-      if (RegionTy.getCanonicalType() == SourceRegionTy.getCanonicalType())
+      if (Ctx.hasSameUnqualifiedType(RegionTy, SourceRegionTy))
         return *LCV;
     }
   }