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


1
2
3
4
5
6
7
8
9
10
11
12
13

extern "Rust" {
    fn miri_get_backtrace(flags: u64) -> Box<[*mut ()]>;
    fn miri_resolve_frame(ptr: *mut (), flags: u64);
}

fn main() {
    let frames = unsafe { miri_get_backtrace(0) };
    for frame in frames.into_iter() {
        unsafe {
            miri_resolve_frame(*frame, 0); //~ ERROR: Undefined Behavior: bad declaration of miri_resolve_frame - should return a struct with 5 fields
        }
    }
}