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

     1  int foo(int i)
     2  {
     3    if (((unsigned)(i + 1)) * 4 == 0)
     4      return 1;
     5    return 0;
     6  }
     7  
     8  extern void abort(void);
     9  int main()
    10  {
    11    if (foo(0x3fffffff) == 0)
    12      abort ();
    13    return 0;
    14  }