From 765af76cf6b9f5697fcc037aa16942176293bc7d Mon Sep 17 00:00:00 2001
From: phk <phk@d4fa192b-c00b-0410-8231-f00ffab90ce4>
Date: Mon, 9 Apr 2007 21:08:21 +0000
Subject: [PATCH] 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
---
 varnish-cache/bin/varnishd/vclflint.lnt | 15 +++++++++++++++
 varnish-cache/bin/varnishd/vclflint.sh  |  7 +++++++
 2 files changed, 22 insertions(+)
 create mode 100644 varnish-cache/bin/varnishd/vclflint.lnt
 create mode 100644 varnish-cache/bin/varnishd/vclflint.sh

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