gcc/testsuite/gcc.dg/pr55236.c

   1 /* PR tree-optimization/55236 */
   2 /* { dg-do run } */
   3 /* { dg-options "-O2 -fwrapv" } */
   4
   5 extern void abort ();
   6
   7 __attribute__((noinline, noclone)) void
   8 foo (int i)
   9 {
  10   if (i > 0)
  11     abort ();
  12   i = -i;
  13   if (i < 0)
  14     return;
  15   abort ();
  16 }
  17
  18 __attribute__((noinline, noclone)) void
  19 bar (int i)
  20 {
  21   if (i > 0 || (-i) >= 0)
  22     abort ();
  23 }
  24
  25 int
  26 main ()
  27 {
  28   foo (-__INT_MAX__ - 1);
  29   bar (-__INT_MAX__ - 1);
  30   return 0;
  31 }