test built-in panic catching

Author: RalfJung

tests/run-pass/catch_panic.rs

@@ -1,4 +1,6 @@
 // ignore-windows: Unwind panicking does not currently work on Windows
+#![allow(const_err)]
+
 use std::panic::{catch_unwind, AssertUnwindSafe};
 use std::cell::Cell;
 
@@ -48,11 +50,16 @@ fn main() {
     test(|old_val| panic!(format!("Hello from panic: {:?}", old_val)));
     test(|old_val| panic!("Hello from panic: {:?}", old_val));
     test(|_old_val| panic!(1337));
+
     // FIXME https://github.com/rust-lang/miri/issues/1071
     //test(|_old_val| core::panic!("Hello from panic: core"));
     //test(|old_val| core::panic!(&format!("Hello from panic: {:?}", old_val)));
     //test(|old_val| core::panic!("Hello from panic: {:?}", old_val));
 
+    // Built-in panics
+    test(|_old_val| { let _val = [0, 1, 2][4]; loop {} });
+    test(|_old_val| { let _val = 1/0; loop {} });
+
     // Cleanup: reset to default hook.
     drop(std::panic::take_hook());
 

tests/run-pass/catch_panic.stderr

@@ -1,9 +1,13 @@
-thread 'main' panicked at 'Hello from panic: std', $DIR/catch_panic.rs:47:21
+thread 'main' panicked at 'Hello from panic: std', $DIR/catch_panic.rs:49:21
 Caught panic message (&str): Hello from panic: std
-thread 'main' panicked at 'Hello from panic: 1', $DIR/catch_panic.rs:48:20
+thread 'main' panicked at 'Hello from panic: 1', $DIR/catch_panic.rs:50:20
 Caught panic message (String): Hello from panic: 1
-thread 'main' panicked at 'Hello from panic: 2', $DIR/catch_panic.rs:49:20
+thread 'main' panicked at 'Hello from panic: 2', $DIR/catch_panic.rs:51:20
 Caught panic message (String): Hello from panic: 2
-thread 'main' panicked at 'Box<Any>', $DIR/catch_panic.rs:50:21
+thread 'main' panicked at 'Box<Any>', $DIR/catch_panic.rs:52:21
 Failed get caught panic message.
+thread 'main' panicked at 'index out of bounds: the len is 3 but the index is 4', $DIR/catch_panic.rs:60:34
+Caught panic message (String): index out of bounds: the len is 3 but the index is 4
+thread 'main' panicked at 'attempt to divide by zero', $DIR/catch_panic.rs:61:34
+Caught panic message (String): attempt to divide by zero
 Success!