[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