src/tools/miri/tests/fail/unwind-action-terminate.rs

//@error-in-other-file: aborted execution
//@normalize-stderr-test: "\n +[0-9]+:[^\n]+" -> ""
//@normalize-stderr-test: "\n +at [^\n]+" -> ""
extern "C" fn panic_abort() {
    panic!()
}

fn main() {
    panic_abort();
}