[master] e8812d1 FlexeLint infrastructure

[Poul-Henning Kamp]

commit e8812d10a6d947db17648b2c3ce2611b8d758116
Author: Poul-Henning Kamp <phk at FreeBSD.org>
Date:   Mon Apr 24 14:30:17 2017 +0000

    FlexeLint infrastructure

diff --git a/.gitignore b/.gitignore
index 74fb278..41b82cf 100644
--- a/.gitignore
+++ b/.gitignore
@@ -123,3 +123,7 @@ vt_key.pub
 # Coverity output
 /cov-int
 /myproject.tgz
+
+# Flexelint droppings
+_.fl
+_.fl.old
diff --git a/lib/flint.lnt b/lib/flint.lnt
new file mode 100644
index 0000000..e69de29
diff --git a/lib/libvarnish/flint.sh b/lib/libvarnish/flint.sh
index f79c531..7696210 100755
--- a/lib/libvarnish/flint.sh
+++ b/lib/libvarnish/flint.sh
@@ -1,30 +1,27 @@
 #!/bin/sh
 
-T=/tmp/_$$
+if [ "x$1" = "x-ok" -a -f _.fl ] ; then
+	echo "Saved as reference"
+	mv _.fl _.fl.old
+	exit 0
+fi
+
 flexelint \
-	-I/usr/include \
+	../../flint.lnt \
+	flint.lnt \
 	-I. \
 	-I../../include \
 	-I../.. \
-	flint.lnt \
-	*.c > $T 2>&1
+	-I/usr/local/include \
+	*.c \
+	2>&1 | tee _.fl
+
+if [ -f _.fl.old ] ; then
+	diff -u _.fl.old _.fl
+fi
 
-for t in Error Warning Info
-do
-	sed -n "/$t [0-9][0-9][0-9]:/s/.*\($t [0-9][0-9][0-9]\).*/\1/p" $T
-done | awk '
-$2 == 830	{ next }
-$2 == 831	{ next }
-	{
-	i=$2"_"$1
-	h[i]++
-	n++
-	}
-END	{
-	printf "%5d %s\n", n, "Total"
-	for (i in h)
-		printf "%5d %s\n", h[i], i
-	}
-' | sort -rn
+if [ "x$1" = "x-ok" ] ; then
+	echo "Saved as reference"
+	mv _.fl _.fl.old
+fi
 
-cat $T
diff --git a/lib/libvarnishapi/flint.lnt b/lib/libvarnishapi/flint.lnt
new file mode 100644
index 0000000..e69de29
diff --git a/lib/libvarnishapi/flint.sh b/lib/libvarnishapi/flint.sh
new file mode 100755
index 0000000..e324e1f
--- /dev/null
+++ b/lib/libvarnishapi/flint.sh
@@ -0,0 +1,28 @@
+#!/bin/sh
+
+if [ "x$1" = "x-ok" -a -f _.fl ] ; then
+	echo "Saved as reference"
+	mv _.fl _.fl.old
+	exit 0
+fi
+
+flexelint \
+	../../flint.lnt \
+	../flint.lnt \
+	flint.lnt \
+	-I. \
+	-I../../include \
+	-I../.. \
+	-I/usr/local/include \
+	*.c \
+	2>&1 | tee _.fl
+
+if [ -f _.fl.old ] ; then
+	diff -u _.fl.old _.fl
+fi
+
+if [ "x$1" = "x-ok" ] ; then
+	echo "Saved as reference"
+	mv _.fl _.fl.old
+fi
+