diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-04-05 13:00:12 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-04-05 13:00:12 +0000 |
| commit | b3e485c8355d46954078293f297a9d97e7ec09d7 (patch) | |
| tree | b12cf30eee8611c244506d9e4fbebec083d6cf0e /lib/Checker/Environment.cpp | |
| parent | 3ecd785aff34381f3704d9cb28fe3ef85af759de (diff) | |
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
Diffstat (limited to 'lib/Checker/Environment.cpp')
| -rw-r--r-- | lib/Checker/Environment.cpp | 8 |
1 files changed, 0 insertions, 8 deletions
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. |