test: test of catching rust panic

Author: godzie44

examples/Cargo.lock

@@ -14,5 +14,6 @@ members = [
   "shlib/calc_lib",
   "shlib/calc_bin",
   "shlib/printer_lib",
+  "panic",
 ]
 resolver = "2"

examples/Cargo.toml

@@ -51,4 +51,9 @@ Example of shared library with C interface and a consumer of this lib.
 
 ### Tokioticker
 
-Tick 5 seconds and exit. Useful for tokio oracle testing.
+Tick 5 seconds and exit. Useful for tokio oracle testing.
+
+### Panic
+
+Program that just panics.
+Initiated by user or system panic (like divide by zero panic).

examples/README.md

@@ -0,0 +1,13 @@
+[package]
+name = "panic"
+version = "0.0.0"
+edition = "2021"
+workspace = "./.."
+publish = false
+
+[[bin]]
+name = "panic"
+path = "src/panic.rs"
+
+[dependencies]
+uuid = { version = "1.8.0", features = ["v4", "v7"] }

examples/panic/Cargo.toml

@@ -0,0 +1,24 @@
+use std::env;
+
+fn user_panic() {
+    let a = 1;
+    let b = a + 1;
+    println!("b: {b}");
+    panic!("then panic!");
+}
+
+#[allow(unconditional_panic)]
+fn divided_by_zero() {
+    println!("{}", 1 / 0)
+}
+
+pub fn main() {
+    let args: Vec<String> = env::args().collect();
+    let panic_type = args[1].as_str();
+
+    match panic_type {
+        "user" => user_panic(),
+        "system" => divided_by_zero(),
+        _ => panic!("unsupported"),
+    }
+}

examples/panic/src/panic.rs

@@ -472,3 +472,26 @@ def test_source_bounds(self):
         self.debugger.expect_exact('4 fn main() {')
         self.debugger.expect_exact('9     myprint("bye!")')
 
+    @staticmethod
+    def test_breakpoint_at_rust_panic():
+        """Set breakpoint to rust panic handler and catch panics"""
+        debugger = pexpect.spawn(
+            './target/debug/bs ./examples/target/debug/panic -- user')
+        debugger.sendline('break rust_panic')
+        debugger.expect('New breakpoint')
+        debugger.sendline('run')
+        debugger.expect_exact('then panic!')
+        debugger.sendline('bt')
+        debugger.expect('rust_panic')
+        debugger.expect('panic::user_panic')
+        debugger.sendline('continue')
+
+        debugger = pexpect.spawn(
+            './target/debug/bs ./examples/target/debug/panic -- system')
+        debugger.sendline('break rust_panic')
+        debugger.expect('New breakpoint')
+        debugger.sendline('run')
+        debugger.expect('attempt to divide by zero')
+        debugger.sendline('bt')
+        debugger.expect('rust_panic')
+        debugger.expect('panic::divided_by_zero')