Merge branch 'sb/indent-heuristic-optim'

diff --git a/ci/run-static-analysis.sh b/ci/run-static-analysis.sh
index fa719c9ef94c205ec51eff9fc9c8a1c73a1f2378..5688f261d0813d4b2b55baeb5e404fcfef80b5d7 100755 (executable)
--- a/ci/run-static-analysis.sh
+++ b/ci/run-static-analysis.sh
@@ -7,4 +7,23 @@
 
 make --jobs=2 coccicheck
 
+set +x
+
+fail=
+for cocci_patch in contrib/coccinelle/*.patch
+do
+       if test -s "$cocci_patch"
+       then
+               echo "$(tput setaf 1)Coccinelle suggests the following changes in '$cocci_patch':$(tput sgr0)"
+               cat "$cocci_patch"
+               fail=UnfortunatelyYes
+       fi
+done
+
+if test -n "$fail"
+then
+       echo "$(tput setaf 1)error: Coccinelle suggested some changes$(tput sgr0)"
+       exit 1
+fi
+
 save_good_tree