Patch against current svn:
affected files: lib/standard.h, test/tests2.5/newlint.lcd
generated files: lib/standard.lcd, lib/standardstrict.lcd, lib/unixstrict.lcd, lib/posixstrict.lcd, lib/unix.lcd, lib/posix.lcd, test/null6.lcd
The constants UINT*_MAX are all missing. Instead UINT*_MIN constants are declared. Apart from missing in susv3, UINT*_MIN constants make no sense whatsoever, since the minimum for an unsigned integral type is always 0.
The attached patch replaces the UINT*_MIN constants with UINT*_MAX constants.
UINT_MAX / UINT_MIN <stdint.h> patch