[splint-discuss] DIR *dire storage created but not released??

[Greg White]

> Date: Fri, 7 Nov 2008 13:29:02 -0800
> From: Michael.Wojcik at microfocus.com
> To: splint-discuss at cs.virginia.edu
> Subject: Re: [splint-discuss] DIR *dire storage created but not released??
> 
>> From: splint-discuss-bounces at cs.virginia.edu [mailto:splint-discuss-
>> bounces at cs.virginia.edu] On Behalf Of Greg White
>> Sent: Friday, 07 November, 2008 13:57
>> 
>> If I do an open and close on dire and get a warning about fresh
> storage
>> being created when I open and not being released when I close there is
>> a bug somewhere.
> 
> Except that you did not have Splint configured correctly.
> 
> If the problem still occurs when you run Splint with +posixlib (and
> eliminate any other warnings), then yes, that would be a bug. And
> certainly Splint has bugs - as much of the traffic on this list will
> attest.
> 
> My point was simply that you were jumping the gun a bit calling it a
> bug, since Splint was telling you that you weren't running it correctly.
> And that in particular you hadn't told Splint to use the POSIX library
> support, which might have something to do with a false positive from a
> POSIX function.
> 
> On the other hand, since Splint recognized that opendir allocated memory
> even without +posixlib, I would have expected (perhaps unfairly) it to
> recognize that closedir would free that memory. So I wouldn't be
> surprised if this is a bug; I just don't want to conclude that it is
> without due diligence.

I tried splint +posixlib file.c and am now down to 2 messages.  The messages 
about creating and freeing dire have disappeared.

I personally would categorize my issue as a splint bug for the reason you 
give.  Given that splint hasn't had a release in over a year I am not holding
my breath on a fix.  

Thanks,


_________________________________________________________________
Windows Live Hotmail now works up to 70% faster.
http://windowslive.com/Explore/Hotmail?ocid=TXT_TAGLM_WL_hotmail_acq_faster_112008