From: phk <phk@d4fa192b-c00b-0410-8231-f00ffab90ce4>
Date: Mon, 9 Apr 2007 21:08:21 +0000 (+0000)
Subject: Add scripts to run flexelint over VCL compiler output
X-Git-Url: https://err.no/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=765af76cf6b9f5697fcc037aa16942176293bc7d;p=varnish

Add scripts to run flexelint over VCL compiler output


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

diff --git a/varnish-cache/bin/varnishd/vclflint.lnt b/varnish-cache/bin/varnishd/vclflint.lnt
new file mode 100644
index 00000000..d1cdf2b5
--- /dev/null
+++ b/varnish-cache/bin/varnishd/vclflint.lnt
@@ -0,0 +1,15 @@
+// Flexelint configuration file for VCL compiler output
+//
+
+-passes=3
+
+-esym(763, sess)	// Redundant declaration for symbol 'sess'
+			// Harmless
+
+-e786			// String concatenation within initializer
+			// Harmless
+
+-e752			// local declarator [...] not referenced
+-e754			// local structure member [...] not referenced
+-e526			// Symbol [...] not defined
+
diff --git a/varnish-cache/bin/varnishd/vclflint.sh b/varnish-cache/bin/varnishd/vclflint.sh
new file mode 100644
index 00000000..802f4ed2
--- /dev/null
+++ b/varnish-cache/bin/varnishd/vclflint.sh
@@ -0,0 +1,7 @@
+#!/bin/sh
+#
+# Run flexelint on the VCL output
+
+./varnishd -C -b localhost > /tmp/_.c
+
+flexelint vclflint.lnt /tmp/_.c