From: Zhongxing Xu <xuzhongxing@gmail.com>
Date: Mon, 5 Apr 2010 13:00:12 +0000 (+0000)
Subject: Since now we process regions in clusters when removing dead bindings, this
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=b3e485c8355d46954078293f297a9d97e7ec09d7;p=clang

Since now we process regions in clusters when removing dead bindings, this
code can be removed.


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

diff --git a/lib/Checker/Environment.cpp b/lib/Checker/Environment.cpp
index cc71f8569c..e2568b6637 100644
--- a/lib/Checker/Environment.cpp
+++ b/lib/Checker/Environment.cpp
@@ -137,14 +137,6 @@ EnvironmentManager::RemoveDeadBindings(Environment Env, const Stmt *S,
       if (isa<loc::MemRegionVal>(X)) {
         const MemRegion* R = cast<loc::MemRegionVal>(X).getRegion();
         DRoots.push_back(R);
-        // Mark the super region of the RX as live.
-        // e.g.: int x; char *y = (char*) &x; if (*y) ...
-        // 'y' => element region. 'x' is its super region.
-        // We only add one level super region for now.
-
-        // FIXME: maybe multiple level of super regions should be added.
-        if (const SubRegion *SR = dyn_cast<SubRegion>(R))
-          DRoots.push_back(SR->getSuperRegion());
       }
 
       // Mark all symbols in the block expr's value live.