[lmi-commits] [lmi] master 70d45fa9 12/13: Add many sanitizer options

[Greg Chicares]

branch: master
commit 70d45fa9d8aeb48300c0684f3f910393138a36c1
Author: Gregory W. Chicares <gchicares@sbcglobal.net>
Commit: Gregory W. Chicares <gchicares@sbcglobal.net>

    Add many sanitizer options
---
 workhorse.make | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/workhorse.make b/workhorse.make
index d3ffd4ec..fcebd615 100644
--- a/workhorse.make
+++ b/workhorse.make
@@ -728,14 +728,24 @@ CXX_WARNINGS = \
 #  - libstdc++ debugging macros
 
 # Options for undefined-behavior sanitizer.
+#
+# 'leak' is specified here because it will probably be useful someday.
+# WX !! For now, it's inhibited by 'detect_leaks=0' in $ASAN_OPTIONS
+# until the next wx upgrade.
+#
+# These:
+#   pointer-compare,pointer-subtract
+# aren't necessarily usable with gcc--see:
+#   https://lists.nongnu.org/archive/html/lmi/2022-06/msg00033.html
 
 ubsan_options := \
-  -fsanitize=undefined \
+  
-fsanitize=address,undefined,leak,float-divide-by-zero,float-cast-overflow,bounds-strict
 \
   -Wno-duplicated-branches \
   -fno-omit-frame-pointer \
   -fno-var-tracking \
   -fno-var-tracking-assignments \
   -O3 \
+  --param max-gcse-memory=1000000 \
 
 # libstdc++ debugging macros