[splint-discuss] How to check Uninitialized variable

[Ludolf Holzheid]

On Tue, 2009-05-12 15:06:08 +0530, Vijayendra Suman wrote:
> [..]
> 
> Do we have a mechanism to check such kind of errors with splint tool.

Hmm.

I tried to run your code snippet through splint. Among other messages
it gave:

> y.c(17,7): Passed storage &call not completely defined: Call (&call)
>   Storage derivable from a parameter, return value or global is not
>   defined.
>   Use /*@out@*/ to denote passed or returned storage which need not be
>   defined.
>   (Use -compdef to inhibit warning)

Do you think this is wrong? Or what's your exact question?

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
---------------------------------------------------------------