From 41bac41888d22dc3e0e90406a70318c7c15921e8 Mon Sep 17 00:00:00 2001 From: phk Date: Mon, 31 Mar 2008 11:43:48 +0000 Subject: [PATCH] Explain to FlexeLint that vsb_new()/vsb_delete() are alloc/free functions. git-svn-id: svn+ssh://projects.linpro.no/svn/varnish/trunk@2612 d4fa192b-c00b-0410-8231-f00ffab90ce4 --- varnish-cache/bin/varnishd/flint.lnt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/varnish-cache/bin/varnishd/flint.lnt b/varnish-cache/bin/varnishd/flint.lnt index 3157bf22..b52dd7c8 100644 --- a/varnish-cache/bin/varnishd/flint.lnt +++ b/varnish-cache/bin/varnishd/flint.lnt @@ -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)) -- 2.39.5