| commit | af9f362840f8d69cc15102dec1e735b70d1aee73 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Mon Jul 20 18:44:36 2009 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Mon Jul 20 18:44:36 2009 +0000 |
| tree | 048d81d18ad03c7b5b38246c42cae44db5f21c67 | |
| 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