r808 - trunk/varnish-cache/lib/libvcl

[phk at projects.linpro.no]

Author: phk
Date: 2006-08-11 12:20:05 +0200 (Fri, 11 Aug 2006)
New Revision: 808

Modified:
   trunk/varnish-cache/lib/libvcl/flint.lnt
Log:
Improve flexelint setup


Modified: trunk/varnish-cache/lib/libvcl/flint.lnt
===================================================================
--- trunk/varnish-cache/lib/libvcl/flint.lnt	2006-08-11 10:17:19 UTC (rev 807)
+++ trunk/varnish-cache/lib/libvcl/flint.lnt	2006-08-11 10:20:05 UTC (rev 808)
@@ -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