[cfe-dev] Default case without predecessor

[Zach Davis]

It looks like the option to disable this is

  CFGBlock::FilterOptions.IgnoreDefaultsWithCoveredEnums

I don't know what the easiest way to get this unset in you
program would be.


On Sun, Feb 2, 2014 at 11:52 AM, Panke <tobias at pankrath.net> wrote:

> Zach Davis wrote
> > I believe the edge from the switch to the default case is pruned because
> > all of the enum values are covered by the switch.  The analyzer is
> > considering the default case as "not possible".
>
> Is it possible to get a CFG before pruning? I've tried
> BuildOptions.PruneTrivialFalseEdges = false, but that didn't help.
>
>
>
> --
> View this message in context:
> http://clang-developers.42468.n3.nabble.com/Default-case-without-predecessor-tp4037484p4037619.html
> Sent from the Clang Developers mailing list archive at Nabble.com.
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20140203/28acbded/attachment.html>