1 // normalize-stderr-test ".*rustlib" -> "RUSTLIB"
2 // normalize-stderr-test "RUSTLIB/(.*):\d+:\d+ "-> "RUSTLIB/$1:LL:COL "
3 // normalize-stderr-test "::<.*>" -> ""
6 fn miri_get_backtrace(flags: u64) -> Box<[*mut ()]>;
7 fn miri_resolve_frame(ptr: *mut (), flags: u64) -> MiriFrame;
19 #[inline(never)] fn func_a() -> Box<[*mut ()]> { func_b::<u8>() }
20 #[inline(never)] fn func_b<T>() -> Box<[*mut ()]> { func_c() }
21 #[inline(never)] fn func_c() -> Box<[*mut ()]> { unsafe { miri_get_backtrace(0) } }
24 let mut seen_main = false;
25 let frames = func_a();
26 for frame in frames.into_iter() {
27 let miri_frame = unsafe { miri_resolve_frame(*frame, 0) };
28 let name = String::from_utf8(miri_frame.name.into()).unwrap();
29 let filename = String::from_utf8(miri_frame.filename.into()).unwrap();
31 // Print every frame to stderr.
32 let out = format!("{}:{}:{} ({})", filename, miri_frame.lineno, miri_frame.colno, name);
34 // Print the 'main' frame (and everything before it) to stdout, skipping
35 // the printing of internal (and possibly fragile) libstd frames.
38 seen_main = name == "main";