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