------- Comment #5 from pinskia at gcc dot gnu dot org 2007-10-20 00:18 -------
Try this one:
/* { dg-do run } */
/* { dg-options "-O3 -fipa-cp" } */
int k;
void f1 (int a, int b)
{
if (a)
{
int c;
goto d;
do {
k = 1;
d:
c = b--;
}while (c);
}
else
if (b != 1)
__builtin_abort ();
}
int main (void)
{
f1 (1, 1);
if (k != 1)
__builtin_abort ();
return 0;
}
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33434
