diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-07-20 18:44:36 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-07-20 18:44:36 +0000 |
| commit | af9f362840f8d69cc15102dec1e735b70d1aee73 (patch) | |
| tree | 048d81d18ad03c7b5b38246c42cae44db5f21c67 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 289dfc5e345ade7d8f82eaf83d6fcedb17cfb76e (diff) | |
Enhance GRBranchNodeBuilderImpl (part of GRCoreEngine) to understand the case
where the true or false CFGBlock* for a branch could be NULL. This will handle
the case where we can determine during CFG construction that a branch is
infeasible.
llvm-svn: 76450
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions