1  /* { dg-do link } */
       2  /* { dg-options "-O2" } */
       3  
       4  extern void link_failure (void);
       5  
       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  
      18  int main (void)
      19  {
      20    int i = foo (0);
      21    return 0;
      22  }
      23