PC-Lint: /*lint +e537 */ reenables checking for the rest of the files
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
PC-Lint: /*lint +e537 */ reenables checking for the rest of the files
Thank you for your feedback. This change has been made.
PC-Lint: /*lint +e537 */ reenables checking for the rest of the files
Hi,
it was a pleasure and thanks a lot for the fast and positive response!
best regards,
Michael