diff options
author | David Majnemer <david.majnemer@gmail.com> | 2013-06-04 17:38:44 +0000 |
---|---|---|
committer | David Majnemer <david.majnemer@gmail.com> | 2013-06-04 17:38:44 +0000 |
commit | f69ce860487ec0b1eceb23f8391614d5772aae3b (patch) | |
tree | d6ac45b5978f12878f0ad4741560a5dacbb93743 /llvm/test | |
parent | 33a35dff8305e01d15fbf881f500ac7ad1b020f1 (diff) | |
download | bcm5719-llvm-f69ce860487ec0b1eceb23f8391614d5772aae3b.tar.gz bcm5719-llvm-f69ce860487ec0b1eceb23f8391614d5772aae3b.zip |
Analysis: Add a CFG successor to a SwitchStmt if it is both empty and fully covered
Consider the case where a SwitchStmt satisfied isAllEnumCasesCovered()
as well as having no cases at all (i.e. the enum it covers has no
enumerators).
In this case, we should add a successor to repair the CFG.
This fixes PR16212.
llvm-svn: 183237
Diffstat (limited to 'llvm/test')
0 files changed, 0 insertions, 0 deletions