1 // normalize-stderr-test ".*rustlib" -> "RUSTLIB"
2 // normalize-stderr-test "RUSTLIB/(.*):\d+:\d+ "-> "RUSTLIB/$1:LL:COL "
5 fn miri_get_backtrace() -> Box<[*mut ()]>;
6 fn miri_resolve_frame(version: u8, ptr: *mut ()) -> MiriFrame;
18 let frames = unsafe { miri_get_backtrace() };
19 for frame in frames.into_iter() {
20 let miri_frame = unsafe { miri_resolve_frame(0, *frame) };
21 let name = String::from_utf8(miri_frame.name.into()).unwrap();
22 let filename = String::from_utf8(miri_frame.filename.into()).unwrap();
23 eprintln!("{}:{}:{} ({})", filename, miri_frame.lineno, miri_frame.colno, name);