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.