|
/* { dg-do link } */
|
|
/* { dg-options "-O2" } */
|
|
|
|
extern void link_failure (void);
|
|
|
|
static int __attribute__ ((noinline)) foo (int x)
|
|
{
|
|
if (x >= 1)
|
|
if (x <= 10)
|
|
{
|
|
if (x < 1 || x > 10)
|
|
link_failure ();
|
|
x = x + 1;
|
|
}
|
|
return x;
|
|
}
|
|
|
|
int main (void)
|
|
{
|
|
int i = foo (0);
|
|
return 0;
|
|
}
|
|
|