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