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

   1 /* { dg-do run } */
   2 /* { dg-options "-O2" } */
   3
   4 extern void abort (void);
   5
   6 foo (int k, int j)
   7 {
   8   if (k >= 10)
   9     {
  10       if (j > k)
  11         {
  12           /* We should fold this to if (0).  */
  13           if (j < 10)
  14             abort ();
  15         }
  16     }
  17
  18   return j;
  19 }
  20
  21 main()
  22 {
  23   foo (10, 3);
  24   return 0;
  25 }