commit | bf98c99600017bfcdde2a7966c47a6beb15a96dc | [log] [tgz] |
---|---|---|
author | Ted Kremenek <kremenek@apple.com> | Fri Jan 30 21:35:30 2009 +0000 |
committer | Ted Kremenek <kremenek@apple.com> | Fri Jan 30 21:35:30 2009 +0000 |
tree | 3e07521a56372988baaa16341f74813e2245f802 | |
parent | f87a0ccb05eb2aa095ea835fdcdf4a0363637b28 [diff] |
Fix horrible non-termination bug in LiveVariables. The issue was that the liveness state of block-level expressions could oscillate because of two issues: - The initial value before a merge was not always set to "Top" - The set of live block-level expressions is a union, not an intersection This fixes <rdar://problem/650084>. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@63421 91177308-0d34-0410-b5e6-96231b3b80d8