[hghdfgv]

What do you mean?

(UINT_MAX - x < y) is wrong, if x and y are both of type int, it should be: (INT_MAX - x < y), which is defined and will yield true, if an overflow on x+y would happen.