[cfe-commits] r100428 - /cfe/trunk/lib/Checker/Environment.cpp

[Zhongxing Xu]

Author: zhongxingxu
Date: Mon Apr  5 08:00:12 2010
New Revision: 100428

URL: http://llvm.org/viewvc/llvm-project?rev=100428&view=rev
Log:
Since now we process regions in clusters when removing dead bindings, this
code can be removed.

Modified:
    cfe/trunk/lib/Checker/Environment.cpp

Modified: cfe/trunk/lib/Checker/Environment.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Checker/Environment.cpp?rev=100428&r1=100427&r2=100428&view=diff
==============================================================================
--- cfe/trunk/lib/Checker/Environment.cpp (original)
+++ cfe/trunk/lib/Checker/Environment.cpp Mon Apr  5 08:00:12 2010
@@ -137,14 +137,6 @@
       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.