On February 17, 2009 01:29:13 pm Charles Day wrote: > On Tue, Feb 17, 2009 at 9:53 AM, Phil Longstaff <[email protected]>wrote: > > Yesterday, I started looking at splint to see if it would find any > > potential > > problems in the SQL backend. I've seen a reference on the web to > > integrating > > splint into automake-generated projects but haven't followed through. I > > may > > create a new branch to investigate the benefits of full annotation, since > > you > > can have splint track ownership of memory, routine pre/post conditions, > > and other interesting issues. > > That might be a good idea, as my splint results are full of memory > management warnings that are mostly false positives. Splint seems to assume > that functions returning pointers are "only" in style. On the other hand, > I'm not quite sure what the proper annotation should be for something > like gnc_get_current_book() or xaccSplitGetParent().
I think the right annotation is "observer" since the caller observes but does not modify the returned value. Phil _______________________________________________ gnucash-devel mailing list [email protected] https://lists.gnucash.org/mailman/listinfo/gnucash-devel
