1 /* { dg-do link } */
2 /* { dg-options "-O2" } */
3 
4 extern void link_failure (void);
5 
foo(int x)6 static int __attribute__ ((noinline)) foo (int x)
7 {
8   if (x >= 1)
9     if (x <= 10)
10       {
11 	if (x < 1 || x > 10)
12 	  link_failure ();
13 	x = x + 1;
14       }
15   return x;
16 }
17 
main(void)18 int main (void)
19 {
20   int i = foo (0);
21   return 0;
22 }
23 
24