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