modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.0/gcc/testsuite/gcc.c-torture/execute/20081112-1.c (about)

     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  }