Debugging an issue on linux/arm64 (V)

Author: FrancescAlted

.github/workflows/ci.yml

@@ -111,8 +111,34 @@ jobs:
         ASAN_OPTIONS: "detect_leaks=0:abort_on_error=1:strict_string_checks=1:check_initialization_order=1"
         UBSAN_OPTIONS: "print_stacktrace=1:halt_on_error=1"
       run: |
-        ctest --test-dir build-arm64 --output-on-failure || \
+        set +e
+        ctest --test-dir build-arm64 --output-on-failure
+        rc=$?
+        if [ $rc -ne 0 ]; then
           ctest --test-dir build-arm64 --rerun-failed --output-on-failure
+          rc=$?
+        fi
+        exit $rc
+
+    - name: Debug arm64 segfaults
+      if: failure()
+      shell: bash
+      env:
+        ME_DSL_JIT: ${{ matrix.me_dsl_jit }}
+      run: |
+        set +e
+        for t in test_dsl_jit_runtime_cache test_dsl_syntax; do
+          exe="build-arm64/tests/${t}"
+          if [ ! -x "$exe" ]; then
+            continue
+          fi
+          echo "=== gdb backtrace for ${t} (ME_DSL_JIT=${ME_DSL_JIT}, sanitize=${{ matrix.sanitize }}) ==="
+          gdb -q -batch \
+            -ex "set pagination off" \
+            -ex "run" \
+            -ex "thread apply all bt full" \
+            --args "$exe" || true
+        done
 
   miniexpr-wasm32:
     runs-on: ubuntu-latest