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

     1  #include <limits.h>
     2  
     3  extern void abort (void);
     4  int __attribute__((noinline))
     5  foo (unsigned int u)
     6  {
     7    return (int)(u + 4) < (int)u;
     8  }
     9  
    10  int
    11  main (int argc, char *argv[])
    12  {
    13    unsigned int u = INT_MAX;
    14  
    15    if (foo (u) == 0)
    16      abort();
    17    return 0;
    18  }
    19