From ed18b716c14439896ac3dde45373791978453e81 Mon Sep 17 00:00:00 2001
From: phk <phk@d4fa192b-c00b-0410-8231-f00ffab90ce4>
Date: Fri, 11 Aug 2006 10:20:05 +0000
Subject: [PATCH] Improve flexelint setup

git-svn-id: svn+ssh://projects.linpro.no/svn/varnish/trunk@808 d4fa192b-c00b-0410-8231-f00ffab90ce4
---
 varnish-cache/lib/libvcl/flint.lnt | 7 +++++++
 1 file changed, 7 insertions(+)

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
 
 
-- 
2.39.5