[PATCH] [Analysis] Add a CFG successor to a SwitchStmt if it is both empty and fully covered
David Majnemer
david.majnemer at gmail.com
Tue Jun 4 00:42:34 PDT 2013
Hi,
clang does not 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).
The attached patch adds a successor in this case which gives us a proper
CFG.
This fixes PR16212.
--
David Majnemer
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130604/5c76d50a/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: PR16212.diff
Type: application/octet-stream
Size: 1653 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130604/5c76d50a/attachment.obj>
More information about the cfe-commits
mailing list