1 /* { dg-do run } */ 2 /* { dg-options "-O2" } */ 3 #include <limits.h> 4 5 extern void abort(void); 6 decCompareOp(int result)7void 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 main()17int main() 18 { 19 decCompareOp (INT_MAX); 20 return 0; 21 } 22