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

[Paul Spaapen]

I was a bit too eager there... on closer look of your problem it was not 
the same error I was receiving.

Sorry about that.

Paul

Paul Spaapen wrote:
> 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
>>
>>   
>>     
> _______________________________________________
> splint-discuss mailing list
> splint-discuss at mail.cs.virginia.edu
> http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
>
>