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