src/tools/miri/tests/fail/panic/abort_unwind.rs

//@error-in-other-file: the program aborted execution
//@normalize-stderr-test: "\n +[0-9]+:[^\n]+" -> ""
//@normalize-stderr-test: "\n +at [^\n]+" -> ""

#![feature(abort_unwind)]

fn main() {
    std::panic::abort_unwind(|| panic!("PANIC!!!"));
}