6_5_16_06_uint_order_high_bit.c (93B)
1 int test_main(void) { 2 unsigned int x = 0xffffffffu; 3 return (x > 0xfffffffeu) ? 42 : 0; 4 }