1 f1 (unsigned int x, unsigned int y)
6 /* 0xfffffff2 < 0x80000000? */
7 if (x < ~(~(unsigned int) 0 >> 1))
12 f2 (unsigned long int x, unsigned long int y)
17 /* 0xfffffff2 < 0x80000000? */
18 if (x < ~(~(unsigned long int) 0 >> 1))
28 /* 0x7ffffff3 0x80000001 */
29 f1 ((~(unsigned int) 0 >> 1) - 12, ~(~(unsigned int) 0 >> 1) + 1);
30 f2 ((~(unsigned long int) 0 >> 1) - 12, ~(~(unsigned long int) 0 >> 1) + 1);