Fix cfopt

The cfopt itself can handle unreachable code,
but it transforms it in a way that makes the verifier unhappy.

diff --git a/ir/opt/cfopt.c b/ir/opt/cfopt.c
index b10dc51..927cb5d 100644 (file)
--- a/ir/opt/cfopt.c
+++ b/ir/opt/cfopt.c
@@ -972,7 +972,7 @@ static ir_graph_state_t do_cfopt(ir_graph *irg)
 
 optdesc_t opt_cf = {
        "control-flow",
-       0,
+       IR_GRAPH_STATE_NO_UNREACHABLE_BLOCKS,
        do_cfopt,
 };