1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
/* { dg-do compile } */ /* { dg-options "-O1" } */ /* A test for unreachable blocks removal -- bind_expr whose entry is unreachable, but it contains reachable statements. */ void foo(void) { if (1) { goto bla; } else { xxx: { bla: bar (); return; } goto xxx; } }