[cfe-dev] Default case without predecessor

[Panke]

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.