/* { 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;    }}