[master] b8f7f94 More FlexeLint running

Poul-Henning Kamp phk at FreeBSD.org
Mon Apr 24 19:01:06 CEST 2017


commit b8f7f9455d4bb93ed5a6a135d4b872fc44ea36f2
Author: Poul-Henning Kamp <phk at FreeBSD.org>
Date:   Mon Apr 24 17:00:36 2017 +0000

    More FlexeLint running

diff --git a/bin/varnishncsa/flint.sh b/bin/varnishncsa/flint.sh
index f7d7988..dda2d3a 100755
--- a/bin/varnishncsa/flint.sh
+++ b/bin/varnishncsa/flint.sh
@@ -1,31 +1,26 @@
 #!/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 \
-	-I. \
-	-I../.. \
-	-I../../include \
+	../../flint.lnt \
 	../flint.lnt \
 	flint.lnt \
-	*.c > $T 2>&1
+	-I. \
+	-I../../include \
+	-I../.. \
+	*.c \
+	2>&1 | tee _.fl
 
-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 [ -f _.fl.old ] ; then
+	diff -u _.fl.old _.fl
+fi
 
-cat $T
+if [ "x$1" = "x-ok" ] ; then
+	echo "Saved as reference"
+	mv _.fl _.fl.old
+fi
diff --git a/lib/libvarnish/flint.lnt b/lib/libvarnish/flint.lnt
index cc2ed87..f049cc6 100644
--- a/lib/libvarnish/flint.lnt
+++ b/lib/libvarnish/flint.lnt
@@ -1,5 +1,3 @@
--passes=8
-
 +libh mgt_event.h
 +libh ../../config.h
 



More information about the varnish-commit mailing list