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?

Reply via email to