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

Auguste Venkiah venkiah at ensea.fr
Wed Jul 5 09:55:07 EDT 2006


The only way I got arround this is :

#ifndef S_SPLINT_S
	/* Code to ignore be ignored by splint */
#endif

Splint conforms to ISO C90 which does not allow intermixed code and
declarations. All declarations have to be at the top of a block. 

That is to say : there is no way of 'telling' splint that your piece of
code is OK because is not ISO C90; however, you can tell splint to
ignore the corresponding line in order to avoid parse errors.


Le mercredi 05 juillet 2006 à 14:25 +0100, John Matthews a écrit :
> Hi- I'm trying to use splint to check some existing code that has
> variable declarations within code ie. not just at the top of blocks, as
> allowed by gcc. Is there a way of persuading splint that this is ok,
> instead of stopping with a parse error? BTW +gnuextensions doesn't
> help.
> TIA
> John
> 
> This email and any files transmitted with it are confidential and intended solely for the use of the individuals to whom they are addressed. If you have received this email in error please notify the sender and delete the message from your system immediately.
> _______________________________________________
> splint-discuss mailing list
> splint-discuss at ares.cs.Virginia.EDU
> http://www.cs.Virginia.EDU/mailman-2.1.5/listinfo/splint-discuss
> 



More information about the splint-discuss mailing list