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  }