modernc.org/cc@v1.0.1/testdata/gcc-6.3.0/gcc/testsuite/gcc.c-torture/execute/920711-1.c (about)

     1  /* { dg-options "-fwrapv" } */
     2  
     3  extern void abort (void);
     4  extern void exit (int);
     5  
     6  int f(long a){return (--a > 0);}
     7  int main(){if(f(0x80000000L)==0)abort();exit(0);}