This check finds integer literals that are being used in a non-portable manner.
Currently, the check detects cases where maximum or minimum values should be used
instead, as well as error-prone integer literals having leading zeroes, or
relying on most significant bits.