On Fri, 2008-08-08 15:51:09 +0200, Olivier FAURAX wrote: > Hello ! > > I'm a new user, and my goal is just to use a "better lint", that is : no > effort on annotation, only a weak check of my code (for the moment). > > I try to use splint, but I encounter parse errors everytime. > The last time, it was on this line : void* y = (void*) malloc(x); > What is difficult to parse here ?
I think splint _is_ able to parse lines like this. However, this looks to me like a C99/C++-style mixing of definitions and statements. I suppose there are statements (not definitions) above this line in the same block. This would violate C89/C90, which demands the definitions to appear at the beginning of a block, prior to the first statement. Splint can parse ANSI-C89/ISO-C90 code only, sorry. 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
