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