[PATCH] [Analysis] Add a CFG successor to a SwitchStmt if it is both empty and fully covered
david.majnemer at gmail.com
Tue Jun 4 10:43:34 PDT 2013
Committed in r183237.
On Tue, Jun 4, 2013 at 9:32 AM, Jordan Rose <jordan_rose at apple.com> wrote:
> Cute, good catch. I think you should just break up that monster
> conditional into a few ifs, or just |= the enum case into
> switchExclusivelyCovered, but semantically this looks right.
> On Jun 4, 2013, at 0:42 , David Majnemer <david.majnemer at gmail.com> wrote:
> > 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
> > This fixes PR16212.
> > --
> > David Majnemer
> > _______________________________________________
> > cfe-commits mailing list
> > cfe-commits at cs.uiuc.edu
> > http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-commits