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  }