diff options
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(); |