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

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