PC-Lint: /*lint +e537 */ reenables checking for the rest of the files

mike838 wrote on Sunday, September 04, 2016:

Hi,

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.

best regards,
Michael

rtel wrote on Sunday, September 04, 2016:

Thank you for your feedback. This change has been made.

mike838 wrote on Monday, September 05, 2016:

Hi,
it was a pleasure and thanks a lot for the fast and positive response!

best regards,
Michael