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.
Thank you for your feedback. This change has been made.
it was a pleasure and thanks a lot for the fast and positive response!