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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

//@compile-flags: -Cpanic=abort
#![feature(core_intrinsics)]
#![no_std]
#![no_main]

use core::fmt::Write;

#[path = "../../utils/mod.no_std.rs"]
mod utils;

#[no_mangle]
fn miri_start(_argc: isize, _argv: *const *const u8) -> isize {
    panic!("blarg I am dead")
}

#[panic_handler]
fn panic_handler(panic_info: &core::panic::PanicInfo) -> ! {
    writeln!(utils::MiriStderr, "{panic_info}").ok();
    core::intrinsics::abort(); //~ ERROR: the program aborted execution
}