[splint-discuss] New user

[Ludolf Holzheid]

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: lholzheid at bihl-wiedemann.de
D-68199 Mannheim, Germany
---------------------------------------------------------------