[splint-discuss] PRIu64 parse error

[Stefan Kost]

hi hi,

+1 from me to.
a new release would be great. Especially as there seem to be useful patches out
there. When I build the valinnal splint 3.1.1 it fails to e.g. parse glib-header
(due to VARARG macros). When doing the same on my gentoo box it works. Seems
that that install a patched version.

Stefan

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

-- 
      \|/            Stefan Kost
     <@ @>           private            business
+-oOO-(_)-OOo------------------------------------------------------ - - -  -   -
|       __  Address  Simildenstr. 5     HTWK Leipzig, Fb IMN, Postfach 301166
|      ///           04277 Leipzig      04251 Leipzig
| __  ///            Germany            Germany
| \\\///    Phone    +49341 2253538     +49341 30766101
|  \__/     EMail    st_kost_at_gmx.net kost_at_imn.htwk-leipzig.de
|           WWW      www.sonicpulse.de  www.imn.htwk-leipzig.de/~kost/about.html
===-=-=--=---=---------------------------------- - - -  -    -
-------------- next part --------------
A non-text attachment was scrubbed...
Name: kost.vcf
Type: text/x-vcard
Size: 345 bytes
Desc: not available
Url : http://www.cs.Virginia.EDU/pipermail/splint-discuss/attachments/20041230/ad0b0651/kost.vcf