Hi Emma,
Its hard to tell without more code, but I think you want an /*@exposed@*/
annotation on int *Buf like this:
typedef struct _TestT
{
/*@exposed@*/ int *Buf;
...
}
This indicates that the storage Buf points to may be referenced
by pointers outside the struct.
If that doesn't give you what you want, send a more complete code fragment
(enough so we can run it and see the same warning you are getting).
--- Dave
On Mon, 8 Apr 2002, Emma Wermstrom wrote:
> Hi splint users!
>
> I have recently started using splint and have encountered the following code
> warning:
>
> Only storage Test[].Buf assigned to unqualified:
> *Buffer = Test[CurrentTest].Buf
> The only reference to this storage is transferred to another reference (e.g.,
> by returning it) that does not have the only annotation. This may lead to a
> memory leak, since the new reference is not necessarily released. (Use
> -onlytrans to inhibit warning)
>
> Buffer is a return value of a function (void function(/*@out@*/int *Buffer))
> The assignment of *Buffer (see above)is made just before the return
> statement of the function.
>
> Test is a data variable of a struct-type containing Buf, used within the
> module (.c).
> It is defined as:
>
> static Test_T Test[4];
>
> where Test_Buf is of the same type as *Buffer, i.e. int.
>
> typedef struct _Test_T
> {
> int *Buf;
> int A;
> boolean B;
> } Test_T;
>
> When Test[4] is initialized, the following code warning appears:
>
> Implicitly only storage Test[].Buf (type int*) not
> released before assignment: Test[i].Buf = MemoryAddress_C;
> A memory leak has been detected. Only-qualified storage is not released
> before the last reference to it is lost. (Use -mustfreeonly to inhibit
> warning)
>
> Test[].Buf will never be modified.
>
> Could someone please explain to me on how to solve this problem. Thanks!
>
> Emma
> ---------------------------------------------------------------
> Emma Wermström
> Software Engineer
> Saab Ericsson Space AB tel: 031-7354433
> S-405 15 Goteborg mobil: 0708-375230
> SWEDEN mail: [EMAIL PROTECTED]
> --------------------------------------------------------------
>
>
>
