r2612 - trunk/varnish-cache/bin/varnishd

[phk at projects.linpro.no]

Author: phk
Date: 2008-03-31 13:43:48 +0200 (Mon, 31 Mar 2008)
New Revision: 2612

Modified:
   trunk/varnish-cache/bin/varnishd/flint.lnt
Log:
Explain to FlexeLint that vsb_new()/vsb_delete() are alloc/free functions.


Modified: trunk/varnish-cache/bin/varnishd/flint.lnt
===================================================================
--- trunk/varnish-cache/bin/varnishd/flint.lnt	2008-03-31 07:03:02 UTC (rev 2611)
+++ trunk/varnish-cache/bin/varnishd/flint.lnt	2008-03-31 11:43:48 UTC (rev 2612)
@@ -14,6 +14,8 @@
 // Fix strchr() semtics, it can only return NULL if arg2 != 0
 -sem(strchr, 1p, type(1), 2n == 0 ? (@p < 1p) : (@p < 1p || @p == 0 ))
 
+-sem(vsb_new, @p == malloc(1))
+-sem(vsb_delete, custodial(1))
 -sem(lbv_assert, r_no)
 -sem(lbv_xxxassert, r_no)
 -sem(WS_Init, custodial(2))