[splint-discuss] Option to allow gcc mixed code/declarations

[Auguste Venkiah]

Le jeudi 06 juillet 2006 à 08:59 +0100, John Matthews a écrit :
> Thanks Auguste- I appreciate that the code isn't C90. But then neither
> are the other gcc extensions that +gnuextensions tells splint to
> ignore; why not this as well?

I guess that the +gnuextensions should have been a solution to this
problem. However, I remember having seen this topic on the mailing list
before. 
Clearly, this seems to be an issue to many people, but maintainers seem
to have very little time. Noboby actually seems to be in the position to
update the parser to support ISO C99.
(sad, because splint is really a __great__ tool for writing good code
and save debugging time ...)

Moreover, I was also surprised that :
/*@ignore@*/
	...
/*@end@*/

did not do the trick. Only #ifndef S_SPLINT_S ... #endif worked, but
perhaps this is just a misunderstanding of the /*@ignore@*/ mechanism.

>  
> Yes, I can modify the offending code, but there's quite a lot of
> it :-(

 
#ifndef S_SPLINT_S  ... #endif arround the offending code could still enable you to use splint for the rest of the code though.
Hopefully, ISO C99 will be supported one day (?!)