[splint-discuss] New user
Ludolf Holzheid
lholzheid at bihl-wiedemann.de
Fri Aug 8 10:46:03 PDT 2008
On Fri, 2008-08-08 17:34:42 +0200, Olivier FAURAX wrote:
> Ludolf Holzheid a écrit :
> >[..]
> >
> >Splint can parse ANSI-C89/ISO-C90 code only, sorry.
>
> Yes, I use C99 code.
> That is bad news for me....
>
> Do you know any C lint program that support C99 ?
> Is it planned for splint ?
If this is the only C99ism splint chokes on while checking your code:
A few weeks ago a patch was posted to this list addressing it. See
http://www.cs.virginia.edu/pipermail/splint-discuss/2008-July/001190.html.
I didn't look at it yet, though.
As far as I understood, full support for C99 is currently not planned.
HTH,
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
---------------------------------------------------------------
More information about the splint-discuss
mailing list