diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-01-23 10:42:17 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-01-23 10:42:17 +0000 |
| commit | cbb0b473034bf87ca75ac659dc6dbffe52f3125f (patch) | |
| tree | bafdad439ae9c6b252c9ef0dc7322c0d9f78b5f2 /lib/Analysis/RegionStore.cpp | |
| parent | b61f49cb3cd6ec8c9b17b48173370b3ce16f79b0 (diff) | |
Now this comment should be resolved. See the comments for the KillSet.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@62846 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/RegionStore.cpp')
| -rw-r--r-- | lib/Analysis/RegionStore.cpp | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp index 48c11f3bbf..2e82cc665c 100644 --- a/lib/Analysis/RegionStore.cpp +++ b/lib/Analysis/RegionStore.cpp @@ -572,12 +572,6 @@ SVal RegionStoreManager::Retrieve(const GRState* St, Loc L, QualType T) { GRStateRef state(St, StateMgr); - // FIXME: Do we even need a killset? If 'Unknown' is explicitly - // bound to to a region won't this be enough? (that's basically - // what a killset is). RemoveDeadBindings should only remove - // bindings that are no longer accessible, which means that won't - // ever be read. - // Check if the region is in killset. if (state.contains<RegionKills>(R)) return UnknownVal(); |