From e5ab577b6d4bfcb650fd128c9fecfa7e5aaa0059 Mon Sep 17 00:00:00 2001
From: Andrea Mazzoleni <amadvance@gmail.com>
Date: Fri, 8 Jan 2016 22:52:03 +0100
Subject: [PATCH] Add the new makesan.sh script and some more comments

---
 makecov.sh  |  2 ++
 makesan.sh  | 57 +++++++++++++++++++++++++++++++++++++++++++++++++++++
 makescan.sh |  2 ++
 maketest.sh |  7 +++++++
 4 files changed, 68 insertions(+)
 create mode 100755 makesan.sh

diff --git a/makecov.sh b/makecov.sh
index 49b057bf..f030361e 100755
--- a/makecov.sh
+++ b/makecov.sh
@@ -1,5 +1,7 @@
 #!/bin/sh
 #
+# Run the Coverage test
+#
 
 make distclean
 
diff --git a/makesan.sh b/makesan.sh
new file mode 100755
index 00000000..98b9d7f9
--- /dev/null
+++ b/makesan.sh
@@ -0,0 +1,57 @@
+#!/bin/sh
+#
+# Run all the Sanitizers available
+#
+
+# Compiler to use
+COMPILER=clang-3.6
+
+# Options for configure
+# --disable-asm
+#   Inline assembly is not supported by the Sanitizers
+# --without-blkid
+#   External libraries are not supported by the Sanitizers
+OPTIONS="--disable-asm --without-blkid"
+
+make distclean
+
+# AddressSanitizer
+if ! ./configure --enable-asan $OPTIONS CC=$COMPILER; then
+	exit 1
+fi
+
+if ! make check distclean; then
+	exit 1
+fi
+
+# UndefinedBehaviourSanitizer
+if ! ./configure --enable-ubsan $OPTIONS CC=$COMPILER; then
+	exit 1
+fi
+
+if ! make check distclean; then
+	exit 1
+fi
+
+# MemorySanitizer
+if ! ./configure --enable-msan $OPTIONS CC=$COMPILER; then
+	exit 1
+fi
+
+if ! make check distclean; then
+	exit 1
+fi
+
+# ThreadSanitizer
+if ! ./configure --enable-tsan $OPTIONS CC=$COMPILER; then
+	exit 1
+fi
+
+if ! make check distclean; then
+	exit 1
+fi
+
+if ! ./configure ; then
+	exit 1
+fi
+
diff --git a/makescan.sh b/makescan.sh
index 74ed8c59..918c7544 100755
--- a/makescan.sh
+++ b/makescan.sh
@@ -1,5 +1,7 @@
 #!/bin/sh
 #
+# Run the Coverity Scan static analyzer
+#
 
 rm -r cov-int
 
diff --git a/maketest.sh b/maketest.sh
index 3d71a490..63f7d239 100755
--- a/maketest.sh
+++ b/maketest.sh
@@ -1,8 +1,11 @@
 #!/bin/sh
 #
+# Run all the Coverage and Valgrind tests
+#
 
 make distclean
 
+# Coverage
 if ! ./configure --enable-coverage --enable-sde; then
 	exit 1
 fi
@@ -11,6 +14,7 @@ if ! make lcov_reset check lcov_capture lcov_html; then
 	exit 1
 fi
 
+# Keep a copy of the coverage results
 rm -rf cov_release
 mv cov cov_release
 
@@ -18,6 +22,7 @@ if ! make distclean; then
 	exit 1
 fi
 
+# Valgrind
 if ! ./configure --enable-valgrind; then
 	exit 1
 fi
@@ -26,6 +31,7 @@ if ! make check distclean; then
 	exit 1
 fi
 
+# Helgrind
 if ! ./configure --enable-helgrind; then
 	exit 1
 fi
@@ -34,6 +40,7 @@ if ! make check distclean; then
 	exit 1
 fi
 
+# Drd
 if ! ./configure --enable-drd; then
 	exit 1
 fi