aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/Environment.cpp
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2009-03-12 07:54:17 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2009-03-12 07:54:17 +0000
commit9d8d0fc04d69bfae2478eb17df5e0335648a82c5 (patch)
tree495ef6e55baeeb81ea6e00954a792a0db2ffdd42 /lib/Analysis/Environment.cpp
parente9fba573bd9433b89a12f747f2c4ccfa490a79cb (diff)
Add comments.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66782 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/Environment.cpp')
-rw-r--r--lib/Analysis/Environment.cpp8
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/Analysis/Environment.cpp b/lib/Analysis/Environment.cpp
index 41adddc360..2bc071a265 100644
--- a/lib/Analysis/Environment.cpp
+++ b/lib/Analysis/Environment.cpp
@@ -115,6 +115,14 @@ public:
};
} // end anonymous namespace
+// RemoveDeadBindings:
+// - Remove subexpression bindings.
+// - Remove dead block expression bindings.
+// - Keep live block expression bindings:
+// - Mark their reachable symbols live in SymbolReaper,
+// see ScanReachableSymbols.
+// - Mark the region in DRoots if the binding is a loc::MemRegionVal.
+
Environment
EnvironmentManager::RemoveDeadBindings(Environment Env, Stmt* Loc,
SymbolReaper& SymReaper,