blob: a398eb1ae0c2221e350957a488260a9dc12992df [file] [log] [blame]
extern "Rust" {
fn miri_resolve_frame(ptr: *mut (), flags: u64);
}
fn main() {
unsafe {
miri_resolve_frame(std::ptr::null_mut(), 0); //~ ERROR: null pointer
}
}