[splint-discuss] New user

[Ludolf Holzheid]

On Fri, 2008-08-08 12:36:27 -0700, Michael Wojcik wrote:
> > From: splint-discuss-bounces at cs.virginia.edu 
> > [mailto:splint-discuss-bounces at cs.virginia.edu] 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: lholzheid at bihl-wiedemann.de
D-68199 Mannheim, Germany
---------------------------------------------------------------