[Qemu-devel] [RFC PATCH 3/4] coccinelle: script to run them all

[Philippe Mathieu-Daudé]

Signed-off-by: Philippe Mathieu-Daudé <address@hidden>
---
 scripts/check-cocci-scripts.sh | 47 ++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 47 insertions(+)
 create mode 100755 scripts/check-cocci-scripts.sh

diff --git a/scripts/check-cocci-scripts.sh b/scripts/check-cocci-scripts.sh
new file mode 100755
index 0000000000..ec3a8b39ef
--- /dev/null
+++ b/scripts/check-cocci-scripts.sh
@@ -0,0 +1,47 @@
+#! /usr/bin/env bash
+
+test -d scripts/coccinelle || exit 1
+
+SPATCH_IMAGE="philmd/coccinelle:1.0.4"
+
+GIT_AUTHOR_NAME="Coccinelle Spatch"
+GIT_COMMITTER_NAME="Coccinelle Spatch"
+
+if [ -n "$TRAVIS" ]; then
+       # avoid stalling builds: 
https://docs.travis-ci.com/user/common-build-problems/#Build-times-out-because-no-output-was-received
+       TIMEOUT_S=530
+       TIMEOUT_CMD="timeout -k 550 500"
+       EXTRA_ARGS="--timeout ${TIMEOUT_S}"
+else
+       TIMEOUT_S=0
+fi
+
+HEAD=19 #`echo -n scripts/coccinelle/ | wc -c`
+TAIL=6 #`echo -n .cocci | wc -c`
+
+test -z "$(${SUDO} docker images -q ${SPATCH_IMAGE})" && ${SUDO} docker pull 
${SPATCH_IMAGE}
+
+LOG=/tmp/cocci-spatch-$$
+for script in scripts/coccinelle/*.cocci; do
+       desc=${script:$HEAD:-$TAIL}
+       echo -e "\nRunning ${script}...\n"
+       echo -e "coccinelle: committing changes after running \"$desc\" 
script\n" > ${LOG}.topic
+       ${TIMEOUT_CMD} ${SUDO} \
+       docker run --rm -v `pwd`:`pwd` -w `pwd` -u `id -u` \
+               ${SPATCH_IMAGE} --use-cache --use-gitgrep --keep-comments \
+                       --very-quiet ${EXTRA_ARGS} \
+                       --sp-file ${script} \
+                       --macro-file scripts/cocci-macro-file.h \
+                       --dir . \
+                       --in-place | tee ${LOG}.content
+       git add -u
+       git diff --cached --exit-code -s
+       if [ $? -ne 0 ]; then
+               :> ${LOG}.content
+       else
+               test -s ${LOG}.content || continue
+       fi
+       cat ${LOG}.{topic,content} | git commit --allow-empty -F -
+done
+
+rm -f ${LOG}.{topic,content}
-- 
2.13.1