---------- Forwarded message ---------- Date: Wed, 2 Oct 2002 07:33:31 +0200 From: [EMAIL PROTECTED] To: [EMAIL PROTECTED] Subject: AW: "@tiny" statement Hello, 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 An: [EMAIL PROTECTED] 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 #else #define AT_TINY #endif or if they don't provide a macro: #ifndef S_SPLINT_S #define AT_TINY #else #define AT_TINY @tiny #endif 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. **********************************************************************