foo(int i)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);
main()9 int main()
10 {
11   if (foo(0x3fffffff) == 0)
12     abort ();
13   return 0;
14 }
15