gnu/dist/gcc4/gcc/testsuite/gcc.dg/tree-ssa/vrp29.c

   1 /* { dg-do run } */
   2 /* { dg-options "-O2" } */
   3
   4 extern void abort(void);
   5
   6 void decCompareOp (int result)
   7 {
   8   if (result != (int)0x80000000)
   9     {
  10       result = -result;
  11       if (result != (int)0x80000001)
  12         abort ();
  13     }
  14 }
  15
  16 int main()
  17 {
  18   decCompareOp (0x7fffffff);
  19   return 0;
  20 }