gcc/testsuite/gcc.dg/tree-ssa/vrp48.c

   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