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  }