r175231 - [analyzer] Tweak LazyCompoundVal reuse check to ignore qualifiers.

Jordan Rose jordan_rose at apple.com
Thu Feb 14 16:32:08 PST 2013


Author: jrose
Date: Thu Feb 14 18:32:08 2013
New Revision: 175231

URL: http://llvm.org/viewvc/llvm-project?rev=175231&view=rev
Log:
[analyzer] Tweak LazyCompoundVal reuse check to ignore qualifiers.

This is optimization only; no behavioral change.

Modified:
    cfe/trunk/lib/StaticAnalyzer/Core/RegionStore.cpp

Modified: cfe/trunk/lib/StaticAnalyzer/Core/RegionStore.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/RegionStore.cpp?rev=175231&r1=175230&r2=175231&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/RegionStore.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/RegionStore.cpp Thu Feb 14 18:32:08 2013
@@ -1605,7 +1605,7 @@ NonLoc RegionStoreManager::createLazyBin
     if (LCV) {
       QualType RegionTy = R->getValueType();
       QualType SourceRegionTy = LCV->getRegion()->getValueType();
-      if (RegionTy.getCanonicalType() == SourceRegionTy.getCanonicalType())
+      if (Ctx.hasSameUnqualifiedType(RegionTy, SourceRegionTy))
         return *LCV;
     }
   }





More information about the cfe-commits mailing list