Add flexelint config & script

.gitignore

@@ -41,3 +41,6 @@ vmod_*.rst
 *_options.rst
 *_synopsis.rst
 vmod_*.3
+
+# flint.sh
+_.fl

src/flint.lnt

+-efile(537, tbl*)
+-efile(451, tbl*)
+
+-ecall(835, dlopen)
+-e801	// goto
+-ecall(840, VSB_bcat)
+-e793	// significant characters in an external identifier
+-efunc(818, *_lookup)
+
+// we can not change external interfaces / code
+-efile(766, *_if.c)
+
+// must always be included to ensure sanity
+-efile(766, config.h)
+
+-esym(773, CP_*)
+-esym(818, args)	// args parameter const
+-esym(818, v)		// v parameter const
+
+// TODO / not understood
+-e723	// can't limit to DEF_* ?
+-e755	// can't limit to DEFDOC*

src/flint.sh

+#!/bin/sh
+
+if [ "x${VARNISHSRC}" = "x" ] ; then
+	echo >&2 VARNISHSRC needs to point to varnish-cache sources
+	exit 9
+fi
+
+# need to look at vmods individually, otherwise we get error 18
+# all over the place
+for f in constant globalvar taskvar topvar ; do
+    flexelint \
+	-D__FLEXELINT__ \
+	${VARNISHSRC}/flint.lnt \
+	flint.lnt \
+	-zero \
+	-I.. \
+	-I${VARNISHSRC}/include \
+	-I${VARNISHSRC}/bin/varnishd \
+	vcc_${f}_if.c vmod_${f}.c
+    2>&1
+done