1 #include <limits.h> 2 3 extern void abort (void); 4 foo(int a)5 static __attribute__((noinline)) void foo (int a) 6 { 7 int b = (a - 1) + INT_MIN; 8 9 if (b != INT_MIN) 10 abort (); 11 } 12 main(void)13 int main (void) 14 { 15 foo (1); 16 return 0; 17 } 18