Remove the case for casting to compatible type in
RegionStoreManager::CastRegion(). This case should be subsumed by others.
llvm-svn: 71353
diff --git a/clang/lib/Analysis/RegionStore.cpp b/clang/lib/Analysis/RegionStore.cpp
index a23a47e..4528ffb 100644
--- a/clang/lib/Analysis/RegionStore.cpp
+++ b/clang/lib/Analysis/RegionStore.cpp
@@ -637,18 +637,10 @@
return CastResult(state, R);
}
- // Assume we are casting from pointer to pointer. Other cases are handled
- // elsewhere.
+ // Now assume we are casting from pointer to pointer. Other cases should
+ // already be handled.
QualType PointeeTy = cast<PointerType>(ToTy.getTypePtr())->getPointeeType();
- // Return the same region if the region types are compatible.
- if (const TypedRegion* TR = dyn_cast<TypedRegion>(R)) {
- QualType Ta = Ctx.getCanonicalType(TR->getLocationType(Ctx));
-
- if (Ta == ToTy)
- return CastResult(state, R);
- }
-
// Process region cast according to the kind of the region being cast.