in V9.0 (and in older versions) in some files (timers.h, port.c, tasks.c, timers.c) a sequence of /*lint -exxx */ … multiline code … /*lint +exxx */ disables a PC-Lint check for some code lines (eg -e537) and than reenables it completely (eg. +e537), breaking user lint setups where -exxx was set to disable that check for the project.
For one-line disablements /*lint !exxx … */ is correctly used.
At the above mentioned points the PC-Lint code should be changed to:
/*lint -save -exxx */ … multiline code … /*lint -restore */
to preserve the user setup.