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