[splint-discuss] How fix "__gnuc_va_list" parse problem

[Michael Wojcik]

> From: splint-discuss-bounces at cs.virginia.edu 
> [mailto:splint-discuss-bounces at cs.virginia.edu] On Behalf Of 
> Paul Spaapen
> Sent: Tuesday, 22 April, 2008 21:56
> 
> I also had this issue, from what I read it seemed to be due 
> to splint not recognising the built in type for the gcc 
> library. Adding the command switch 
> -D__builtin_va_list=va_list seemed to fix the issue.

The root problem is that Splint is a C implementation, and gnuc is not.
If you use Gnu extensions in your C sources, then Splint will have
trouble with them. (The same applies, of course, to eg Microsoft
extensions, and so on.)

Often this can be worked around by telling Splint to treat the
problematic construct as something innocuous, since Splint merely does
translation and does not product executable code. But in order to do
that you need to know the entire problem in its context, and not just
the error message - which is all the OP provided.

-- 
Michael Wojcik
Principal Software Systems Developer, Micro Focus