| commit | 520035439d7133064325c4df6378c5a8f2f05539 | [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 | 65f3cc264585a8f04a1fffa05446ffeb3bd482d1 | |
| parent | 67ef8eaea8a0a2073147a8d863f0e3f30d525802 [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. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76450 91177308-0d34-0410-b5e6-96231b3b80d8