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

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