On Jan 16, 2010, at 11:31 AM, AlannY wrote: > On Sat, Jan 16, 2010 at 10:58:10AM -0500, Jeff Johnson wrote: >> >> I forgot to mention /*...@-branchstate@/, which I routinely disable >> globally these days. The types of issues that /-branchstate reports, >> while technically useful, are too hard to get right everywhere when >> retrofitting splint annotations on "real world" code. >> >> I turn on branchstate checking occaisonally to see the technical issues, >> but I seldom have the time and opportunity to actually "fix" the issue >> that different code branches have inconsistent results when the code paths >> rejoin. >> >> JMHO using splint, YMMV, likely will. >> >> 73 de Jeff > > 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? > > -- > )\._.,--....,'``. > /, _.. \ _\ (`._ ,. > `._.-(,_..'--(,_..'`-.;.' > _______________________________________________ > splint-discuss mailing list > splint-discuss@mail.cs.virginia.edu > http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
_______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
