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