/* { dg-do compile } */
/* { dg-options "-O1" } */

/* A test for variables getting out of their scope in copy propagation.  */

void foo(void)
{
  int k;

  goto forward;
back:
  bla (k);
  return;

forward:
    {
      int i = bar ();

      k = i;

      goto back;
    }
}