[splint-discuss] Query

Deepak Bhatia deepak.bhatia at nechclst.in
Wed Mar 26 03:39:38 PST 2008


Dear All,
 
In the splint manual on page 83 (PDF),  we have transfer errors.
 
We are are not able to understand the 
 
- only-trans : Only storage transferred to non-only reference.
 
 
cmt_group_file = (char *) calloc (1,len+1);
 
The splint warning for above code is 
 
file.c:837:29: Only storage assigned to unqualified static:
                          cmt_group_file = (char *)calloc(1, len + 1)
  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)
 
Kindly help us in understanding the meaning of -only-trans.
 
Regards
 
Deepak Bhatia
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20080326/d3f5c5d3/attachment.html 


More information about the splint-discuss mailing list