PC-Lint for Keil ARM Compiler

PC-lint Plus User Discussion
Post Reply
Sunil

PC-Lint for Keil ARM Compiler

Post by Sunil » Fri Feb 21, 2020 3:22 pm

Hi,

I am configuring the PC-Lint tool for uVision and Keil ARM cc compiler. I am using co-ARMCC-5.lnt as config file.
While performing the analysis, I am getting warning from configuratiojn file itself. Some of the ´comamnds not identified by the tool.
Can anyone suggest what I need to change or where I am doing wrong?

I am getting below warnings/errors, which are not supposed to show.
C:\Keil_v5\UV4\Lint\co-ARMCC-5.lnt 9 Error 72: Bad option
'-rw_asgn(__attribute__,__gcc_attribute__)'
C:\Keil_v5\UV4\Lint\co-ARMCC-5.lnt 10 Error 72: Bad option
'-rw_asgn(__attribute, __gcc_attribute__)'
C:\Keil_v5\UV4\Lint\co-ARMCC-5.lnt 11 Error 72: Bad option
'-rw_asgn(__asm,__ARM_asm)'
C:\Keil_v5\UV4\Lint\co-ARMCC-5.lnt 12 Error 72: Bad option '-rw_asgn(
asm,__ARM_asm)'
C:\Keil_v5\UV4\Lint\co-ARMCC-5.lnt 84 Error 72: Bad option '+pragma(
include_alias, include_alias )'
C:\Keil_v5\UV4\Lint\au-misra3.lnt 34 Error 72: Bad option '-misra(3)'
C:\Keil_v5\UV4\Lint\au-misra3.lnt 2128 Error 72: Bad option
'-function_pair(fopen,fclose)'

- Sunil

mmetivier

Re: PC-Lint for Keil ARM Compiler

Post by mmetivier » Thu Feb 27, 2020 1:45 pm

What version of the PC-Lint tool are you using and where did you get the config file from?

Sunil

Re: PC-Lint for Keil ARM Compiler

Post by Sunil » Fri Mar 20, 2020 10:23 am

I got PC lint tool from gimpel online and config file from keil folder

mmetivier

Re: PC-Lint for Keil ARM Compiler

Post by mmetivier » Tue Mar 24, 2020 12:42 pm

It looks like your PC-Lint is probably too new. If you've gotten your tool from Gimpel recently, it is probably "PCLint Plus", the newest version of the tool. This tool is not 100% backwards compatible with previous configurations, which is what it looks like you're using; the "misra" option is not something that works in the newest tool.

Good news is it looks like PCLint Plus can generate a configuration for the Keil ARM compiler for you. Following the instructions for "Configuring with plcp_config" in the manual and specifying "keil_armcc" as your compiler should be able to generate a working configuration for you.

Post Reply