Quality RTOS & Embedded Software

 Real time embedded FreeRTOS RSS feed 
Quick Start Supported MCUs PDF Books Trace Tools Ecosystem TCP & FAT




Loading

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

Posted by mike838 on September 4, 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


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

Posted by rtel on September 4, 2016

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


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

Posted by mike838 on September 5, 2016

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

best regards, Michael


[ Back to the top ]    [ About FreeRTOS ]    [ Sitemap ]    [ ]




Copyright (C) Amazon Web Services, Inc. or its affiliates. All rights reserved.

Latest News

FreeRTOS kernel V10 is available for immediate download. Now MIT licensed.


FreeRTOS Partners

ARM Connected RTOS partner for all ARM microcontroller cores

IAR Partner

Microchip Premier RTOS Partner

RTOS partner of NXP for all NXP ARM microcontrollers

STMicro RTOS partner supporting ARM7, ARM Cortex-M3, ARM Cortex-M4 and ARM Cortex-M0

Texas Instruments MCU Developer Network RTOS partner for ARM and MSP430 microcontrollers

OpenRTOS and SafeRTOS