> -----Original Message-----
> From: piclist-bounces@mit.edu [mailto:piclist-bounces@mit.edu] On
Behalf
> Of Jason Hsu
> Sent: 08 February 2010 04:17
> To: Microcontroller discussion list - Public.
> Subject: Re: [PIC]splint
> 
> Paul, thanks for the #pragma suggestion.  Splint no longer gives me an
> error message for the "__CONFIG" line when I start it off with
> "#pragma __CONFIG xxx".
> 
> However, splint now refuses to recognize the variables that were
> declared in the *.h files #included at the beginning of the program.
> 
> Is using splint a lost cause for embedded engineering?  Was it meant
> for stand-alone computer programs?  I thought it would help me write
> better code, but it's of no value if it ends up just getting in the
> way instead, especially if it only reports the first error it finds
> and then ignores the rest of the program.

It's not a lost cause at all, but you do need to invest some time and
effort configuring it to work with whatever development tools you happen
to be using.  Anything specific to a particular target and/or compiler
will cause it problems, and of course non-standard language extensions
are common in embedded compilers.

FWIW we have been using QA-C for static code analysis for a few months,
and we are still fine tuning the configuration to prevent unnecessary
warnings, but it has already found potential issues that were not
spotted in a code review.

Regards

Mike

=======================================================================
This e-mail is intended for the person it is addressed to only. The
information contained in it may be confidential and/or protected by
law. If you are not the intended recipient of this message, you must
not make any use of this information, or copy or show it to any
person. Please contact us immediately to tell us that you have
received this e-mail, and return the original to us. Any use,
forwarding, printing or copying of this message is strictly prohibited.
No part of this message can be considered a request for goods or
services.
=======================================================================

-- 
http://www.piclist.com PIC/SX FAQ & list archive
View/change your membership options at
http://mailman.mit.edu/mailman/listinfo/piclist