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 48dc5d9ae7bf43525898febfdf6e327d8b109038..a76a92032aa59bab8920a7c56363bcb917b526f1 100644 (file)
--- 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