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