1 extern void abort (void);
2 
test(unsigned int x)3 unsigned int test (unsigned int x)
4 {
5   return x / 0x80000001U / 0x00000002U;
6 }
7 
main()8 int main()
9 {
10   if (test(2) != 0)
11     abort ();
12   return 0;
13 }
14