src/tools/miri/tests/fail/shims/backtrace/bad-backtrace-ptr.rs


1
2
3
4
5
6
7
8
9

extern "Rust" {
    fn miri_resolve_frame(ptr: *mut (), flags: u64);
}

fn main() {
    unsafe {
        miri_resolve_frame(std::ptr::null_mut(), 0); //~ ERROR: null pointer is a dangling pointer
    }
}