make sure we also trigger debug assertions in libstd

Author: RalfJung

src/lib.rs

@@ -62,5 +62,5 @@ pub use crate::stacked_borrows::{
 /// Insert rustc arguments at the beginning of the argument list that Miri wants to be
 /// set per default, for maximal validation power.
 pub fn miri_default_args() -> &'static [&'static str] {
-    &["-Zalways-encode-mir", "-Zmir-emit-retag", "-Zmir-opt-level=0", "--cfg=miri"]
+    &["-Zalways-encode-mir", "-Zmir-emit-retag", "-Zmir-opt-level=0", "--cfg=miri", "-Cdebug-assertions=on"]
 }

tests/run-pass/panic/catch_panic.rs

@@ -1,4 +1,5 @@
 // ignore-windows: Unwind panicking does not currently work on Windows
+// normalize-stderr-test "[^ ]*libcore/macros/mod.rs[0-9:]*" -> "$$LOC"
 #![feature(never_type)]
 #![allow(const_err)]
 use std::panic::{catch_unwind, AssertUnwindSafe};
@@ -11,7 +12,6 @@ thread_local! {
 }
 
 struct DropTester;
-
 impl Drop for DropTester {
     fn drop(&mut self) {
         DROPPED.with(|c| {
@@ -64,6 +64,7 @@ fn main() {
     // Assertion and debug assertion
     test(|_old_val| { assert!(false); loop {} });
     test(|_old_val| { debug_assert!(false); loop {} });
+    test(|_old_val| { unsafe { (1 as *const i32).read() }; loop {} }); // trigger debug-assertion in libstd
 
     // Cleanup: reset to default hook.
     drop(std::panic::take_hook());

tests/run-pass/panic/catch_panic.stderr

@@ -20,4 +20,6 @@ thread 'main' panicked at 'assertion failed: false', $DIR/catch_panic.rs:65:23
 Caught panic message (&str): assertion failed: false
 thread 'main' panicked at 'assertion failed: false', $DIR/catch_panic.rs:66:23
 Caught panic message (&str): assertion failed: false
+thread 'main' panicked at 'attempt to copy from unaligned or null pointer', $LOC
+Caught panic message (String): attempt to copy from unaligned or null pointer
 Success!