From: phk <phk@d4fa192b-c00b-0410-8231-f00ffab90ce4>
Date: Fri, 11 Aug 2006 10:20:05 +0000 (+0000)
Subject: Improve flexelint setup
X-Git-Url: https://err.no/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ed18b716c14439896ac3dde45373791978453e81;p=varnish

Improve flexelint setup


git-svn-id: svn+ssh://projects.linpro.no/svn/varnish/trunk@808 d4fa192b-c00b-0410-8231-f00ffab90ce4
---

diff --git a/varnish-cache/lib/libvcl/flint.lnt b/varnish-cache/lib/libvcl/flint.lnt
index 48dc5d9a..a76a9203 100644
--- a/varnish-cache/lib/libvcl/flint.lnt
+++ b/varnish-cache/lib/libvcl/flint.lnt
@@ -6,6 +6,13 @@
 -printf_code( ju, long long unsigned)
 -printf_code( jx, long long unsigned)
 
+-header(../../config.h)
+-sem(lbv_assert, r_no)
+-sem(strchr, 1p, type(1), 2n == 0 ? (@p < 1p) : (@p < 1p || @p == 0 ))
+
+-ffc    // No automatic custody
+
+
 -e763	// Redundant declaration for symbol '...' previously declared