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 | 804f26a60a79ceb4b92fca44c519effb0b7956f4 (patch) | |
| tree | 0248e4011426dff1a3731d4987203ab860d52d6d /clang/lib | |
| parent | b8365bd890f2c8e19d3623b7369e9816baa8e3d1 (diff) | |
| download | bcm5719-llvm-804f26a60a79ceb4b92fca44c519effb0b7956f4.tar.gz bcm5719-llvm-804f26a60a79ceb4b92fca44c519effb0b7956f4.zip | |
Now this comment should be resolved. See the comments for the KillSet.
llvm-svn: 62846
Diffstat (limited to 'clang/lib')
| -rw-r--r-- | clang/lib/Analysis/RegionStore.cpp | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/clang/lib/Analysis/RegionStore.cpp b/clang/lib/Analysis/RegionStore.cpp index 48c11f3bbf1..2e82cc665cc 100644 --- a/clang/lib/Analysis/RegionStore.cpp +++ b/clang/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(); |
