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

diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp
index 48c11f3bbf1bef373d62f129b27db3d70e03d00d..2e82cc665ccd485cf4d7d91cb05f2ab7f9ed9e9d 100644 (file)
--- 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();