reopen 171437 tags 171437 +upstream tags 171437 +fixed-upstream thanks Apologies for marking this as done. This bug was fixed in splint CVS.
Giridhar On 07/11/12 12:52 +0530, Y Giridhar Appaji Nag said ... > On 03/05/20 16:11 +0200, Vincent Lefevre said ... > > Here are the explanations of the problem: > > > > greux:~> splint pptest.c > > Splint 3.1.1 --- 08 May 2003 > > > > pptest.c:32:19: Parse Error: Non-function declaration: __gmpn_ : > > int. (For help on parse errors, see splint -help > > parseerrors.) > > *** Cannot continue. > > > > greux:~> splint -D__STDC__ pptest.c > > Splint 3.1.1 --- 08 May 2003 > > > > Finished checking --- no warnings > > > > --> This is what you should get with "splint pptest.c" if __STDC__ > > were defined by default. > > Thus, marking done. -- Y Giridhar Appaji Nag | http://www.appaji.net/
signature.asc
Description: Digital signature
