]> err.no Git - varnish/commitdiff
Add scripts to run flexelint over VCL compiler output
authorphk <phk@d4fa192b-c00b-0410-8231-f00ffab90ce4>
Mon, 9 Apr 2007 21:08:21 +0000 (21:08 +0000)
committerphk <phk@d4fa192b-c00b-0410-8231-f00ffab90ce4>
Mon, 9 Apr 2007 21:08:21 +0000 (21:08 +0000)
git-svn-id: svn+ssh://projects.linpro.no/svn/varnish/trunk@1311 d4fa192b-c00b-0410-8231-f00ffab90ce4

varnish-cache/bin/varnishd/vclflint.lnt [new file with mode: 0644]
varnish-cache/bin/varnishd/vclflint.sh [new file with mode: 0644]

diff --git a/varnish-cache/bin/varnishd/vclflint.lnt b/varnish-cache/bin/varnishd/vclflint.lnt
new file mode 100644 (file)
index 0000000..d1cdf2b
--- /dev/null
@@ -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 (file)
index 0000000..802f4ed
--- /dev/null
@@ -0,0 +1,7 @@
+#!/bin/sh
+#
+# Run flexelint on the VCL output
+
+./varnishd -C -b localhost > /tmp/_.c
+
+flexelint vclflint.lnt /tmp/_.c