<div dir="ltr">It looks like the option to disable this is<br><br>  CFGBlock::FilterOptions.IgnoreDefaultsWithCoveredEnums<br><br>I don't know what the easiest way to get this unset in you<br>program would be.<br></div>

<div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, Feb 2, 2014 at 11:52 AM, Panke <span dir="ltr"><<a href="mailto:tobias@pankrath.net" target="_blank">tobias@pankrath.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Zach Davis wrote<br>
<div class="im">> I believe the edge from the switch to the default case is pruned because<br>
> all of the enum values are covered by the switch.  The analyzer is<br>
> considering the default case as "not possible".<br>
<br>
</div>Is it possible to get a CFG before pruning? I've tried<br>
BuildOptions.PruneTrivialFalseEdges = false, but that didn't help.<br>
<br>
<br>
<br>
--<br>
View this message in context: <a href="http://clang-developers.42468.n3.nabble.com/Default-case-without-predecessor-tp4037484p4037619.html" target="_blank">http://clang-developers.42468.n3.nabble.com/Default-case-without-predecessor-tp4037484p4037619.html</a><br>


<div class="HOEnZb"><div class="h5">Sent from the Clang Developers mailing list archive at Nabble.com.<br>
_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a><br>
</div></div></blockquote></div><br></div>