diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-07-01 02:12:57 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-07-01 02:12:57 +0000 |
commit | 5ff8e8cd5114214f47e0066224bcfe6183330fe2 (patch) | |
tree | d988fc8d7310619743aac8ec85b8567dc3fd0962 | |
parent | 16134c62ef3d146e0dd0c76aafb906ff12c0a15d (diff) |
add fixme.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@74581 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | lib/Analysis/Environment.cpp | 2 | ||||
-rw-r--r-- | lib/Analysis/RegionStore.cpp | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/lib/Analysis/Environment.cpp b/lib/Analysis/Environment.cpp index 1c2802e7fe..3f8f14dcb0 100644 --- 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 5c53c1ae24..4857a402cf 100644 --- 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()); } |