Now this comment should be resolved. See the comments for the KillSet.

llvm-svn: 62846
This commit is contained in:
Zhongxing Xu 2009-01-23 10:42:17 +00:00
parent b8365bd890
commit 804f26a60a
1 changed files with 0 additions and 6 deletions

View File

@ -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();