> From: [EMAIL PROTECTED] 
> [mailto:[EMAIL PROTECTED] On Behalf Of 
> Jake Holland
> Sent: Monday, 11 August, 2008 14:11
> 
> I don't suppose anybody knows of a list of c99 constructs 
> that splint does not support properly?

I don't, but there's a handy short list of what C99 changed from the
previous standard at:

http://home.datacomm.ch/t_wolf/tw/c/c9x_changes.html

That would help write a shorter set of tests. (I'd put a suite together
myself if I weren't tied up with about a million other things right
now.)

-- 
Michael Wojcik
Principal Software Systems Developer, Micro Focus

_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss

Reply via email to