panic checks in CI

.github/workflows/ci.yml

@@ -13,27 +13,35 @@ jobs:
           profile: minimal
           toolchain: stable
           override: true
+
       - name: cargo clippy
         uses: actions-rs/cargo@v1
         with:
           command: clippy
           args: --workspace --tests --examples --features=std -- -D warnings
+
+      - name: cargo doc
+        uses: actions-rs/cargo@v1
+        with:
+          command: doc
+          args: --workspace --features=std
+
       # don't forget the no_std example!
       - name: cargo clippy (example_no_std)
         uses: actions-rs/cargo@v1
         with:
           command: clippy
           args: --manifest-path example_no_std/Cargo.toml
+
       - name: cargo test
         uses: actions-rs/cargo@v1
         with:
           command: test
           args: --workspace --features=std
-      - name: cargo doc
-        uses: actions-rs/cargo@v1
-        with:
-          command: doc
-          args: --workspace --features=std
+
+      - name: no panics in example_no_std
+        run: ./example_no_std/dump_asm.sh
+        shell: bash
 
   rustfmt:
     name: rustfmt (nightly)

example_no_std/dump_asm.sh

@@ -1,6 +1,20 @@
 #!/bin/bash
 set -e
 
+cd "$(dirname "$(realpath "$0")")"
+
+if ! command -v rustfilt &> /dev/null
+then
+    cargo install rustfilt
+fi
+
 cargo rustc --release -- --emit asm -C "llvm-args=-x86-asm-syntax=intel"
-cat ./target/release/deps/gdbstub_nostd-*.s | c++filt > asm.s
+cat ./target/release/deps/gdbstub_nostd-*.s | rustfilt > asm.s
 sed -i -E '/\.(cfi_def_cfa_offset|cfi_offset|cfi_startproc|cfi_endproc|size)/d' asm.s
+echo "asm emitted to asm.s"
+
+if grep "core::panicking::panic_fmt" asm.s
+then
+    echo "found panic in example_no_std!"
+    exit 1
+fi