add fixme.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@74581 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Analysis/Environment.cpp b/lib/Analysis/Environment.cpp
index 1c2802e7fe98a78d5e8f49b0533d0329fbdb85c3..3f8f14dcb0b4ee31a8b66a3572c81a8221e88453 100644 (file)
--- a/lib/Analysis/Environment.cpp
+++ b/lib/Analysis/Environment.cpp
@@ -150,6 +150,8 @@ EnvironmentManager::RemoveDeadBindings(Environment Env, Stmt* Loc,
         // 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());
         }

diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp
index 5c53c1ae24c50911bf73dcfc81c27ee6ea066b41..4857a402cf4132474521069caed495a572629217 100644 (file)
--- a/lib/Analysis/RegionStore.cpp
+++ b/lib/Analysis/RegionStore.cpp
@@ -1428,6 +1428,7 @@ Store RegionStoreManager::RemoveDeadBindings(const GRState *state, Stmt* Loc,
         // 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>(RX)) {
           RegionRoots.push_back(SR->getSuperRegion());
         }