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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-optimized" } */
   3
   4 extern void abort (void);
   5
   6 int
   7 foo1 (int x, int y)
   8 {
   9   int z;
  10
  11   if (x >= y)
  12     return 1;
  13
  14   z = y - x;
  15   if (z <= 0)
  16     abort ();
  17
  18   return z;
  19 }
  20
  21 unsigned int
  22 foo2 (unsigned int x, unsigned int y)
  23 {
  24   unsigned int z;
  25
  26   if (x >= y)
  27     return 1;
  28
  29   z = y - x;
  30   if (z == 0)
  31     abort ();
  32
  33   return z;
  34 }
  35
  36 /* { dg-final { scan-tree-dump-not "abort" "optimized" } } */