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