maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Since now we process regions in clusters when removing dead bindings, this 

code can be removed.

llvm-svn: 100428
This commit is contained in:
Zhongxing Xu 2010-04-05 13:00:12 +00:00
parent 0151d7b025
commit 973b5f55f8
1 changed files with 0 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
clang/lib/Checker/Environment.cpp
View File

@ -137,14 +137,6 @@ EnvironmentManager::RemoveDeadBindings(Environment Env, const Stmt *S,
if (isa<loc::MemRegionVal>(X)) { if (isa<loc::MemRegionVal>(X)) {
const MemRegion* R = cast<loc::MemRegionVal>(X).getRegion(); const MemRegion* R = cast<loc::MemRegionVal>(X).getRegion();
DRoots.push_back(R); 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. // Mark all symbols in the block expr's value live.