#1 /*@releases does not work as expected
Hello,
does anybody know what I am doing wrong here:
extern void
C_String_Finalize (
// Buffer der gelöcht werden soll
/*@in@*/ C_String* Value )
/*@releases Value->Data @*/
/*@ensures Value->Data == 0 /\
Value->Size == 0 @*/;
I do call C_String_Finalize but still I get:
Source/tester-string.c:109:12: Only storage Text.Data (type char
*) derived from variable declared in this scope is not released
(memory leak)
A storage leak due to incomplete deallocation of a structure or
deep pointer is suspected. Unshared storage that is reachable
from a reference that is being deallocated has not yet been
deallocated. Splint assumes when an object is passed as an out
only
void pointer that the outer object will be deallocated, but the
inner objects will not.
Any Ideas?
Martin
Please try the mailing list. http://www.splint.org/lists.html