| commit | 0b5a07d3a08e84f5c73aedacdda176c5cdb77c4e | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Mon Jul 20 18:52:34 2009 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Mon Jul 20 18:52:34 2009 +0000 |
| tree | 73f31ccc7a93752b8824a9f73907cfcd175f3993 | |
| parent | ec8b59ffc30c65051070e6d6cbb8e4b419210d18 [diff] |
Update DataflowSolver to handle the case where a successor/predecessor block could be NULL. This allows the solver to handle optimized CFGs where branches can be determined during CFG-construction to be infeasible. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76452 91177308-0d34-0410-b5e6-96231b3b80d8