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