[splint-discuss] RE: Help on "Storage x may become null" error

[Keith Prickett]

-----Original Message-----
From: splint-discuss-bounces at cs.virginia.edu
[mailto:splint-discuss-bounces at cs.virginia.edu] On Behalf Of Wenzel,
Bodo
Sent: Wednesday, April 18, 2007 11:18 PM
To: splint-discuss at cs.virginia.edu
Subject: [splint-discuss] RE: Help on "Storage x may become null" error

> Well, when I asked for your source, I ment to get a _complete_
example. If I use just the provided code snippet, there are several
other warnings...
Attached is a splint-compiling (with all default options on WIN32 i.e.
"splint bla.c") example with the 1 error I am experiencing.  Please let
me know if the attachment doesn't come through as I haven't tried to
attach an item to the list before.

> You don't want to waste my time letting me develop the missing stuff,
do you?
Thanks for your help, sorry I didn't quite realize what you wanted.

--
Keith Prickett
-------------- next part --------------
A non-text attachment was scrubbed...
Name: bla.c
Type: application/octet-stream
Size: 1228 bytes
Desc: bla.c
Url : http://www.cs.Virginia.EDU/pipermail/splint-discuss/attachments/20070419/acdc7b9a/bla.obj