- do not move the return out of labeled blocks, this must be still reachable

[r24450]

diff --git a/ir/opt/return.c b/ir/opt/return.c
index c91b88f..ebfb2f3 100644 (file)
--- a/ir/opt/return.c
+++ b/ir/opt/return.c
@@ -198,7 +198,8 @@ static int can_move_ret(ir_node *ret) {
 
        /* check, that predecessors are Jmps */
        n = get_Block_n_cfgpreds(retbl);
-       if (n <= 1)
+       /* we cannot move above a labeled block, as this might kill the block */
+       if (n <= 1 || has_Block_label(retbl))
                return 0;
        for (i = 0; i < n; ++i) {
                ir_node *pred = get_Block_cfgpred(retbl, i);