[cfe-commits] r100428 - /cfe/trunk/lib/Checker/Environment.cpp
Zhongxing Xu
xuzhongxing at gmail.com
Mon Apr 5 06:00:12 PDT 2010
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.
More information about the cfe-commits
mailing list