From 973b5f55f85428085c2206920a96d2c5496a8615 Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Mon, 5 Apr 2010 13:00:12 +0000 Subject: [PATCH] Since now we process regions in clusters when removing dead bindings, this code can be removed. llvm-svn: 100428 --- clang/lib/Checker/Environment.cpp | 8 -------- 1 file changed, 8 deletions(-) diff --git a/clang/lib/Checker/Environment.cpp b/clang/lib/Checker/Environment.cpp index cc71f8569c62..e2568b66377b 100644 --- a/clang/lib/Checker/Environment.cpp +++ b/clang/lib/Checker/Environment.cpp @@ -137,14 +137,6 @@ EnvironmentManager::RemoveDeadBindings(Environment Env, const Stmt *S, if (isa(X)) { const MemRegion* R = cast(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(R)) - DRoots.push_back(SR->getSuperRegion()); } // Mark all symbols in the block expr's value live.