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

   1 /* { dg-do run } */
   2 /* { dg-options "-O2" } */
   3 #include <limits.h>
   4
   5 extern void abort(void);
   6
   7 void decCompareOp (int result)
   8 {
   9   if (result != (int) (INT_MAX + 1U))
  10     {
  11       result = -result;
  12       if (result != (int) (INT_MAX + 2U))
  13         abort ();
  14     }
  15 }
  16
  17 int main()
  18 {
  19   decCompareOp (INT_MAX);
  20   return 0;
  21 }