jhsu802701
stranger
Reged: Feb 07 2010
Posts: 1
|
|
I'm trying to use splint to check code written in PICC Lite, but it seems to be having difficulty recognizing variables that were defined in one of the #include *.h files.
Is using splint to check code for a PIC microcontroller a lost cause, or is it something that good embedded engineers use?
|
Dan Henry
Guru
Reged: Oct 16 2003
Posts: 3872
Loc: Colorado
|
|
It's been at least 6 years since I tried splint. Perhaps things are different now, but I don't recall it being configurable to accept HI-TECH compiler extensions.
Gimpel's lint product, on the other hand, is configurable and is the lint that I use.
http://www.gimpel.com/
|
Phil H
stranger
Reged: Feb 16 2010
Posts: 5
|
|
I have PC-Lint 8.00, but with the standard setup it isn't that useful--it fails to understand the library headers, e.g.
extern volatile near bit TMR0IF @ ((unsigned)&INTCON*8)+2;
"
c:\Progra~1\HI-TEC~1\PICC-18\pro\9.63\include\pic18f45k20.h(180:65) : Error 19:
Useless Declaration"
And then it barfs when it sees TMR0IF in the actual program.
Do you have a PC-Lint options file that actually works with PICC-18?
Thanks
|
Dan Henry
Guru
Reged: Oct 16 2003
Posts: 3872
Loc: Colorado
|
|
The attached, after changing the suffix from .txt to .lnt, should provide a starting point.
|
Phil H
stranger
Reged: Feb 16 2010
Posts: 5
|
|
Thanks, I'll give it a try!
Cheers
Phil Hobbs
|
Previous
Index
Next
Threaded
Edit
Reply
Quote
