Raise warning on imposible conditions with `uintXX` functions

[plusvic]

This condition is an impossible one: uint8(0) == 0xABCDE. As uint8 returns a single byte, the maximum possible result is 0xFF or 255. The same occurs with uint16 and uint32.

A condition like this could raise a warning.