[PATCH] [Analysis] Add a CFG successor to a SwitchStmt if it is both empty and fully covered

[David Majnemer]

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>