// normalize-stderr-test ".*rustlib" -> "RUSTLIB"
// normalize-stderr-test "RUSTLIB/(.*):\d+:\d+ "-> "RUSTLIB/$1:LL:COL "

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

#[derive(Debug)]
struct MiriFrame {
    name: Box<[u8]>,
    filename: Box<[u8]>,
    lineno: u32,
    colno: u32
}

fn func_a() -> Box<[*mut ()]> { func_b::<u8>() }
fn func_b<T>() -> Box<[*mut ()]> { func_c() }
fn func_c() -> Box<[*mut ()]> { unsafe { miri_get_backtrace() } }

fn main() {
    let mut seen_main = false;
    let frames = func_a();
    for frame in frames.into_iter() {
        let miri_frame = unsafe { miri_resolve_frame(*frame, 0) };
        let name = String::from_utf8(miri_frame.name.into()).unwrap();
        let filename = String::from_utf8(miri_frame.filename.into()).unwrap();

        // Print every frame to stderr.
        let out = format!("{}:{}:{} ({})", filename, miri_frame.lineno, miri_frame.colno, name);
        eprintln!("{}", out);
        // Print the 'main' frame (and everything before it) to stdout, skipping
        // the printing of internal (and possibly fragile) libstd frames.
        if !seen_main {
            println!("{}", out);
            seen_main = name == "main";
        }
    }
}