diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-07-20 18:52:34 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-07-20 18:52:34 +0000 |
| commit | 619eece3477cc133348fe2bb5973ed8544fa5bb4 (patch) | |
| tree | 82625b018ecaaca0efdece7d46c9bd507bb8738d /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 47d2859b3e27c3ce904ac62249d4297e6bf9726d (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.
llvm-svn: 76452
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions