[splint-discuss] PRIu64 parse error

[Aerowolf]

If splint development has come to a grinding halt, perhaps it's time to fork
the project.  (It's licensed under GPLv2, according to CVS, even though the
splint 3.1.1 tarball doesn't actually have the GPL text within it.)

Either that, or someone should email the admins of the splint project on
sourceforge and ask for project administration rights, to take over the
development.

-Kyle Hamilton

-----Original Message-----
From: splint-discuss-bounces at cs.virginia.edu
[mailto:splint-discuss-bounces at cs.virginia.edu] On Behalf Of Ralf Wildenhues
Sent: Wednesday, December 29, 2004 1:16 AM
To: splint-discuss at cs.virginia.edu
Subject: Re: [splint-discuss] PRIu64 parse error

* Gerald Combs wrote on Wed, Dec 29, 2004 at 12:05:06AM CET:
> When trying to run the following through splint:
> 
> 
> #include <inttypes.h>
> 
>   [ ... ]
> 
>   if (cap_file_size) printf("File Size: %" PRIu64 " bytes\n", 	
> 	cf_info->filesize);

splint does not (yet) support C99, esp. inttypes.  I submitted a patch to
support most of these at one time (don't remember though, whether
PRI* was among them), but splint development seems to have come to a
grinding halt unfortunately.

Regards,
Ralf
_______________________________________________
splint-discuss mailing list
splint-discuss at cs.virginia.edu
http://www.splint.org/mailman/listinfo/splint-discuss