Apologies for the empty msg.
On Jan 16, 2010, at 11:31 AM, AlannY wrote:
>
> Last question for today. I'm getting the following (one) warning:
>
> test.c:48:13: Reference counted storage passed as only param: free (t)
> Reference counted storage is transferred in a way that may not be consistent
> with the reference count. (Use -refcounttrans to inhibit warning)
>
> Is it normal to use -refcounttrans here, or there are better way with
> annotations?
> t is for reference counter type, but function free takes @only@ variable?
> Just skip?
>
I tend to disable in code if/when I never intend to "fix" usually
not using /*...@i@*/
/*...@-refcounttrans@*/
...
/*...@=refcounttrans@*/
and disable in a per-directory .splintrc file with
-refcounttrans
if the fixing is just waiting for a round 'tuit.
Again, there's lots and lots of ways to use splint, this is
just my fetishisms.
hth
73 de Jeff
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
