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 | b4ce4fc4eefa73d50493eb078c408e1441c5807b (patch) | |
| tree | 59c7453e4bd7bc70bbce5b09258fc3aaff1b719b /clang/lib/Analysis/RegionStore.cpp | |
| parent | d379e896ff857213db8e260f00b82feb07440d92 (diff) | |
| download | bcm5719-llvm-b4ce4fc4eefa73d50493eb078c408e1441c5807b.tar.gz bcm5719-llvm-b4ce4fc4eefa73d50493eb078c408e1441c5807b.zip | |
add fixme.
llvm-svn: 74581
Diffstat (limited to 'clang/lib/Analysis/RegionStore.cpp')
| -rw-r--r-- | clang/lib/Analysis/RegionStore.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clang/lib/Analysis/RegionStore.cpp b/clang/lib/Analysis/RegionStore.cpp index 5c53c1ae24c..4857a402cf4 100644 --- a/clang/lib/Analysis/RegionStore.cpp +++ b/clang/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()); } |
