tools: add script to run valgrind with a xml output

tools/Makefile.am

@@ -154,6 +154,7 @@ EXTRA_DIST =				\
 	dev/valgrind/starpu.suppr	\
 	dev/valgrind/valgrind.suppr	\
 	dev/valgrind/valgrind.sh	\
+	dev/valgrind/valgrind_xml.sh	\
 	dev/valgrind/helgrind.sh	\
 	dev/tsan/starpu.suppr		\
 	dev/lsan/libc.suppr		\

tools/dev/valgrind/valgrind.sh

@@ -19,8 +19,13 @@ EXEC=$(basename $0 .sh)
 if test "$EXEC" == "valgrind"
 then
     RUN="valgrind --track-origins=yes --show-reachable=yes --leak-check=full --errors-for-leak-kinds=all --show-leak-kinds=all"
+elif test "$EXEC" == "valgrind_xml"
+then
+    mkdir -p valgrind
+    XML_FILE=$(mktemp -p valgrind starpu-valgrind_XXXXXXXXXX.xml)
+    RUN="valgrind --track-origins=yes --show-reachable=yes --leak-check=full --errors-for-leak-kinds=all --show-leak-kinds=all --xml=yes --xml-file=${XML_FILE}"
 else
-    RUN="valgrind --tool=$EXEC"
+    RUN="valgrind --tool=$EXEC --error-exitcode=42"
 fi
 SUPPRESSIONS=$(for f in $(dirname $0)/*.suppr ; do echo "--suppressions=$f" ; done)
-$RUN --num-callers=42 --error-exitcode=42 --gen-suppressions=all $SUPPRESSIONS $*
+$RUN --num-callers=42 --gen-suppressions=all $SUPPRESSIONS $*

tools/dev/valgrind/valgrind_xml.sh

@@ -0,0 +1 @@
+valgrind.sh