1  #include <limits.h>
       2  
       3  extern void abort (void);
       4  
       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  
      13  int main (void)
      14  {
      15    foo (1);
      16    return 0;
      17  }