ci: Enhance sanitizer's config

Author: chfast

circle.yml

@@ -233,7 +233,8 @@ commands:
           working_directory: ~/build
           command: |
             set +e
-            export ASAN_OPTIONS=detect_invalid_pointer_pairs=1  # TODO: value 2 causes failures in standard library.
+            # TODO: Value 2 causes failures in standard library, https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97415.
+            export ASAN_OPTIONS=detect_invalid_pointer_pairs=1
             expected="  PASSED <<parameters.expected_passed>>, FAILED <<parameters.expected_failed>>, SKIPPED <<parameters.expected_skipped>>."
             result=$(bin/fizzy-spectests <<#parameters.skip_validation>>--skip-validation<</parameters.skip_validation>> json | tail -1)
             echo $result
@@ -371,16 +372,14 @@ jobs:
   sanitizers-clang:
     executor: linux-clang-latest
     environment:
-      # TODO: Enable detect_stack_use_after_return=1 when https://bugs.llvm.org/show_bug.cgi?id=47626 is fixed.
-      ASAN_OPTIONS: detect_invalid_pointer_pairs=2
+      ASAN_OPTIONS: detect_stack_use_after_return=1:check_initialization_order=1
       UBSAN_OPTIONS: halt_on_error=1
     steps:
       - install_testfloat
       - checkout
       - build:
           build_type: RelWithDebInfo
-          # TODO: pointer-compare produces failure in std::string operator+.
-          cmake_options: -DENABLE_ASSERTIONS=ON -DSANITIZE=address,pointer-subtract,undefined,nullability,implicit-unsigned-integer-truncation,implicit-signed-integer-truncation
+          cmake_options: -DENABLE_ASSERTIONS=ON -DSANITIZE=address,undefined,nullability,implicit-unsigned-integer-truncation,implicit-signed-integer-truncation
       - test
       - benchmark:
           min_time: "0.01"
@@ -389,8 +388,8 @@ jobs:
   sanitizers-gcc:
     executor: linux-gcc-latest
     environment:
-      # TODO: Enable detect_stack_use_after_return=1 when https://bugs.llvm.org/show_bug.cgi?id=47626 is fixed.
-      ASAN_OPTIONS: detect_invalid_pointer_pairs=2
+      # TODO: Enable detect_stack_use_after_return=1 when https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97414 is fixed.
+      ASAN_OPTIONS: detect_invalid_pointer_pairs=2:check_initialization_order=1
       UBSAN_OPTIONS: halt_on_error=1
     steps:
       - checkout
@@ -409,15 +408,13 @@ jobs:
   sanitizers-macos:
     executor: macos
     environment:
-      # TODO: Enable detect_stack_use_after_return=1 when https://bugs.llvm.org/show_bug.cgi?id=47626 is fixed.
-      ASAN_OPTIONS: detect_invalid_pointer_pairs=2
+      ASAN_OPTIONS: detect_stack_use_after_return=1:check_initialization_order=1
       UBSAN_OPTIONS: halt_on_error=1
     steps:
       - install_macos_deps
       - checkout
       - build:
           build_type: RelWithDebInfo
-          # TODO: Enable pointer-compare and pointer-subtract only for libfizzy.
           cmake_options: -DENABLE_ASSERTIONS=ON -DSANITIZE=address,undefined,nullability,implicit-unsigned-integer-truncation,implicit-signed-integer-truncation
       - test
       - benchmark:
@@ -481,8 +478,7 @@ jobs:
   fuzzing:
     executor: linux-clang-latest
     environment:
-      # TODO: Enable detect_stack_use_after_return=1 when https://bugs.llvm.org/show_bug.cgi?id=47626 is fixed.
-      ASAN_OPTIONS: detect_invalid_pointer_pairs=2
+      ASAN_OPTIONS: detect_stack_use_after_return=1:check_initialization_order=1
       UBSAN_OPTIONS: halt_on_error=1
     steps:
       - checkout
@@ -595,10 +591,10 @@ jobs:
             rustup toolchain install nightly-x86_64-unknown-linux-gnu
       - run:
           name: Build (debug mode)
-          command: RUSTFLAGS="-Z sanitizer=address" ASAN_OPTIONS=detect_leaks=1 cargo +nightly build --target x86_64-unknown-linux-gnu
+          command: RUSTFLAGS="-Z sanitizer=address" cargo +nightly build --target x86_64-unknown-linux-gnu
       - run:
           name: Test (debug mode)
-          command: RUSTFLAGS="-Z sanitizer=address -C opt-level=0" ASAN_OPTIONS=detect_leaks=1 cargo +nightly test --target x86_64-unknown-linux-gnu
+          command: RUSTFLAGS="-Z sanitizer=address -C opt-level=0" cargo +nightly test --target x86_64-unknown-linux-gnu
 
 workflows:
   version: 2