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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O1" } */
   3
   4 /* A test for variables getting out of their scope in copy propagation.  */
   5
   6 void foo(void)
   7 {
   8   int k;
   9
  10   goto forward;
  11 back:
  12   bla (k);
  13   return;
  14
  15 forward:
  16     {
  17       int i = bar ();
  18
  19       k = i;
  20
  21       goto back;
  22     }
  23 }
  24