//@ min-lldb-version: 1800
//@ min-gdb-version: 13.0
//@ compile-flags: -g -Copt-level=3
//@ disable-gdb-pretty-printers

// Checks that we still can access dead variables from debuginfos.

// === GDB TESTS ===================================================================================

// gdb-command:run
// gdb-command:print *ref_v0
// gdb-check:$1 = 0

// gdb-command:print *ref_v1
// gdb-check:$2 = 1

// gdb-command:print *ref_v2
// gdb-check:$3 = 2

// === LLDB TESTS ==================================================================================

// lldb-command:run
// lldb-command:v *ref_v0
// lldb-check:[...] 0

// lldb-command:v *ref_v1
// lldb-check:[...] 1

// lldb-command:v *ref_v2
// lldb-check:[...] 2

#![allow(unused_variables)]

use std::hint::black_box;

pub struct Foo(i32, i64, i32);

#[inline(never)]
#[no_mangle]
fn test_ref(ref_foo: &Foo) -> i32 {
    let ref_v0 = &ref_foo.0;
    let ref_v1 = &ref_foo.1;
    let ref_v2 = &ref_foo.2;
    ref_foo.0 // #break
}

fn main() {
    let foo = black_box(Foo(0, 1, 2));
    black_box(test_ref(&foo));
}