commit | cdd209dd9eb22a33cc9017f6605375fd17c9e809 | [log] [tgz] |
---|---|---|
author | Ted Kremenek <kremenek@apple.com> | Fri Jul 23 18:15:17 2010 +0000 |
committer | Ted Kremenek <kremenek@apple.com> | Fri Jul 23 18:15:17 2010 +0000 |
tree | 669276f367dddfa26af448c22b6396f23c170b4e | |
parent | f60946222721d9ba3c059563935c17b84703187a [diff] |
Dataflow solver: Don't overrwite the initial value of a block with top unless new values are available. Patch by Simone Pellegrini! git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@109243 91177308-0d34-0410-b5e6-96231b3b80d8