---------- Forwarded message ----------
Date: Wed, 2 Oct 2002 07:33:31 +0200
Subject: AW: "@tiny" statement


I have had the same problem too. I also programming an embedded system using splint.
A other way is to activate the switch "-syntax" to ignore the @ char. In the next step 
I defined a macro "tiny" for splint checking. (with the -Dtiny switch)
So the splint also ignore the statment "@tiny". I know this is not a good way but we 
have auto-generated code that we can't change and so this
is the only way to check the code.

-----Ursprüngliche Nachricht-----
Von: Simon Hosie [mailto:[EMAIL PROTECTED]]
Gesendet: Mittwoch, 2. Oktober 2002 01:06
Betreff: RE: "@tiny" statement

Filippo Ferrara:
> I have some problem with the "Cosmic" compiler statement @tiny which
> is not recognised by Splint.
> What can I do to make Splint ignore "@tiny" (without commenting it)?
> or what ca I do to Splint to recognise such statement?

I'm inclined to infer that if you don't want to comment it then it's not actually 
conflicting with Splint annotations, and the statement appears naked in the code.  In 
that case:

Firstly, see if you can acheive the same result with #pragma.  That's the normal way 
of doing things that aren't portable (if you can't, you may want to coax the author 
into adding something like that).

Otherwise, if the compiler provides some pre-defined macro to identify itself to the 
source code (assume it's __COSMIC__) add something like this in a header file common 
to all the source files:

        #ifdef __COSMIC__
        #define AT_TINY @tiny
        #define AT_TINY

or if they don't provide a macro:

        #ifndef S_SPLINT_S
        #define AT_TINY
        #define AT_TINY @tiny

Then replace all your '@tiny's with 'AT_TINY'.

Doing a search I see that Cosmic's an embedded compiler.  Are there a lot of embedded 
programmers using splint?

Besuchen Sie unsere neue Homepage http://www.magnasteyr.com
Please visit our new homepage http://www.magnasteyr.com

This email and any files transmitted with it are confidential and
intended solely for the use of the individual or entity to whom they
are addressed. If you have received this email in error please notify
the system manager.

This footnote also confirms that this email message has been swept
for the presence of computer viruses.

Reply via email to