/* { dg-do compile } */ | |
/* { dg-options "-O1" } */ | |
/* A test for variables getting out of their scope in copy propagation. */ | |
void bla (int); | |
int bar (void); | |
void foo(void) | |
{ | |
int k; | |
goto forward; | |
back: | |
bla (k); | |
return; | |
forward: | |
{ | |
int i = bar (); | |
k = i; | |
goto back; | |
} | |
} | |