h48

commit 774a824a6c80b5af495f4fb99d98758e3b9f6b81
parent 3429b552bc4367136f015c182f723ee977bb55a3
Author: Sebastiano Tronto <sebastiano@tronto.net>
Date:   Sat, 28 Sep 2024 17:52:01 +0200

Use address and UB sanitizers by default, always

Diffstat:
M
configure.sh
 | 
17
+++++------------

1 file changed, 5 insertions(+), 12 deletions(-)
diff --git a/configure.sh b/configure.sh
@@ -22,10 +22,10 @@
 # SANITIZE="option1,option2,..."
 # Add the options "-fsanitize=option1", "-fsanitize=option2", ... to the
 # compilation command when compiling in debug mode.
-# By default, "-fsanitize=address" and "-fsanitize=undefined" will be used,
-# if available. If this variable is set, the default is overridden.
-# No check is performed on the given sanitizers, make sure that the ones you
-# choose are available on your system and compatible with each other.
+# By default, "-fsanitize=address" and "-fsanitize=undefined" will be used.
+# If this variable is set, the default is overridden. No check is performed
+# on the availability of any sanitizer used, make sure the ones you use are
+# available on your system.
 #
 # Examples
 #
@@ -39,10 +39,6 @@ greparch() {
 	$CC -march=native -dM -E - </dev/null 2>/dev/null | grep "$1"
 }
 
-grepsan() {
-	$CC -fsanitize="$1" -dM -E -x c - </dev/null 2>/dev/null | grep "SANITIZE"
-}
-
 detectthreads() {
 	echo 16 # TODO: choose based on system
 }
@@ -100,10 +96,7 @@ if [ -n "$SANITIZE" ]; then
 		SAN="$SAN -fsanitize=$san"
 	done
 else
-	# No sanitizer specified, use "address" and "undefined" if present
-	[ -n "$(grepsan address)" ] && ADDR="-fsanitize=address"
-	[ -n "$(grepsan undefined)" ] && UNDEF="-fsanitize=undefined"
-	SAN="$ADDR $UNDEF"
+	SAN="-fsanitize=address -fsanitize=undefined"
 fi
 LIBS="-lpthread"