[splint-discuss] New user

[Michael Wojcik]

> 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
> 
> > Splint can parse ANSI-C89/ISO-C90 code only, sorry.
> 
> I sent a patch a few weeks ago that worked around this 
> particular issue.
> 
> Michael Wojcik responded with the excellent critique that if 
> splint is otherwise C90 and one change is introduced to make 
> splint silently accept some code that's C99-legal and 
> C90-illegal, that could be considered a false negative.  (Thanks!)
> 
> 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.

I'd think that makes your patch completely appropriate.

(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.)

-- 
Michael Wojcik
Principal Software Systems Developer, Micro Focus