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

[Paul Spaapen]

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.

boh wrote:
> when splint my program, it produces like below:
>         
>          Splint 3.0.1.7 --- 24 Jan 2003
>         
>         /usr/include/libio.h:464:18: Parse Error:
>             Inconsistent function parameter syntax: __gnuc_va_list :
>             <any>. (For help on parse errors, see splint -help
>         parseerrors.)
>         *** Cannot continue.
>         
> Does someone help me 
>
> thank you very much !
>
>
> boh <boh at xa.nec-as.nec.com.cn>
>
> _______________________________________________
> splint-discuss mailing list
> splint-discuss at mail.cs.virginia.edu
> http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
>
>