Microchip XC8 имеет нестандартные типы int - __int24 и __uint24 и производится из них (по typedef) int24_t и uint24_t.
Однако pc-lint о них не знает. Как узнать о таких типах pc-lint?