[splint-discuss] Help me with @refcounted@
m at alanny.ru
Sat Jan 16 01:47:47 PST 2010
Hi there. I have another lame question now about using @refcounted@
Several days already I'm trying to solve it, but cannot.
There are minor program, which uses refcounted as I can it imaging.
Please don't send me to the manual to the section 5.4, I've already
read it hundred times.
typedef /*@refcounted@*/ struct ref* ref;
/*@refs@*/ int refcount;
c_ref (/*@null@*/ ref c)
c_unref (/*@null@*/ /*@killref@*/ ref c)
ref c = NULL;
c = malloc (sizeof (struct ref));
I think, that I'm not understanding something fundamental about refcounted. Please, explain ;-)
Thank for patience.
/, _.. \ _\ (`._ ,.
More information about the splint-discuss