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 bla (int);
       7  int bar (void);
       8  
       9  void foo(void)
      10  {
      11    int k;
      12  
      13    goto forward;
      14  back:
      15    bla (k);
      16    return;
      17  
      18  forward:
      19      {
      20        int i = bar ();
      21  
      22        k = i;
      23  
      24        goto back;
      25      }
      26  }
      27