ci.yml: use -fno-sanitize-recover when using -fsanitize

Unlike ASAN, by default UBSAN doesn't abort the program on error but
instead just prints an error message.  Use -fno-sanitize-recover to
explicitly request the abort-on-error behavior for testing purposes.

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e77d7d56f64ac44cc3a64cdfcaf23f29170f8cd7..40c8813f4d5f503fdf45f754ea59af52dd3a94bb 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -76,7 +76,7 @@ jobs:
         sudo apt-get update
         sudo apt-get install -y clang $DEPENDENCIES
     - run: ./bootstrap
-    - run: ./configure CC=clang CFLAGS="$DEF_CFLAGS -fsanitize=address"
+    - run: ./configure CC=clang CFLAGS="$DEF_CFLAGS -fsanitize=address -fno-sanitize-recover=address"
     - run: make -j8 check V=1
     - uses: actions/upload-artifact@v3
       if: failure()
@@ -94,7 +94,7 @@ jobs:
         sudo apt-get update
         sudo apt-get install -y clang $DEPENDENCIES
     - run: ./bootstrap
-    - run: ./configure CC=clang CFLAGS="$DEF_CFLAGS -fsanitize=undefined"
+    - run: ./configure CC=clang CFLAGS="$DEF_CFLAGS -fsanitize=undefined -fno-sanitize-recover=undefined"
     - run: make -j8 check V=1
     - uses: actions/upload-artifact@v3
       if: failure()