1  /* { dg-do run } */
       2  
       3  #include <limits.h>
       4  
       5  int a = 0, b = INT_MAX - 1;
       6  extern void abort(void);
       7  int main()
       8  {
       9    if (a - 1 > b + 1)
      10      abort();
      11    return 0;
      12  }