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 
foo(void)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 
28