From cbb0b473034bf87ca75ac659dc6dbffe52f3125f Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Fri, 23 Jan 2009 10:42:17 +0000 Subject: [PATCH] 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 --- lib/Analysis/RegionStore.cpp | 6 ------ 1 file changed, 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(R)) return UnknownVal(); -- 2.50.1