Uncommented options.

Pascal J. Bourguignon [2020-10-06 01:15]
Uncommented options.
Filename
sanitize
diff --git a/sanitize b/sanitize
index 1d41859..68e7c31 100755
--- a/sanitize
+++ b/sanitize
@@ -11,16 +11,16 @@ sanitize_cc=(
     -fsanitize=null
     -fsanitize=bounds
     -fsanitize=vla-bound
-    # -fsanitize=object-size # not with -O0
+    -fsanitize=object-size # not with -O0

     -fsanitize=unreachable
     -fsanitize=return # C++ only

-    # -fsanitize=shift
-    # -fsanitize=shift-exponent
-    # -fsanitize=shift-base
-    # -fsanitize=integer-divide-by-zero
-    # -fsanitize=signed-integer-overflow
+    -fsanitize=shift
+    -fsanitize=shift-exponent
+    -fsanitize=shift-base
+    -fsanitize=integer-divide-by-zero
+    -fsanitize=signed-integer-overflow

     -fsanitize=float-divide-by-zero
     -fsanitize=float-cast-overflow
ViewGit