On Fri, 2008-08-08 12:36:27 -0700, Michael Wojcik wrote: > > From: [EMAIL PROTECTED] > > [mailto:[EMAIL PROTECTED] On Behalf Of > > Jake Holland > > Sent: Friday, 08 August, 2008 14:41 > > > > [..] > > > > However, after reading Olivier Faurax's question earlier > > today, I searched for "splint c99" on google, and found that > > splint already appears to be a hybrid of c90/c99. > > Huh. How about that. I had either never read that FAQ entry, or had > forgotten about it.
As far as I remember, the splint _parser_ is C89/C90 only, but the _libraries_ have been adapted for C99. That's why bool, uint8_t and friends are known by splint, but not mixed statements and declarations. > (For that matter, it'd be nice if Splint accepted *all* of C99, or at > least all the common bits. Mixed statements and declarations certainly > seem to be common in C99 code.) This would involve changing the parser, which is told to be non-trivial. Maybe replacing the current parser with e.g. sparse would be easier ... Ludolf -- --------------------------------------------------------------- Ludolf Holzheid Tel: +49 621 339960 Bihl+Wiedemann GmbH Fax: +49 621 3392239 Floßwörthstraße 41 e-mail: [EMAIL PROTECTED] D-68199 Mannheim, Germany --------------------------------------------------------------- _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
