gcc/testsuite/gcc.dg/tree-ssa/20030820-1.c

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