tests/debuginfo/lexical-scope-in-while.rs

//@ ignore-msvc: https://github.com/llvm/llvm-project/issues/221696
// Once the above is resolved, this test will still require the below revision

//@ revisions: msvc

// On MSVC, this test requires LLDB to be able to read `S_DEFRANGE_REGISTER_REL_INDIR` PDB nodes,
// which is only possible on lldb 23.1+
//@ [msvc] only-msvc
//@ [msvc] min-llvm-lldb-version: 23.1.0

//@ compile-flags:-g
//@ disable-gdb-pretty-printers
//@ ignore-backends: gcc

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

//@ gdb-command:run

// FIRST ITERATION
//@ gdb-command:print x
//@ gdb-check:$1 = 0
//@ gdb-command:continue

//@ gdb-command:print x
//@ gdb-check:$2 = 1
//@ gdb-command:continue

//@ gdb-command:print x
//@ gdb-check:$3 = 101
//@ gdb-command:continue

//@ gdb-command:print x
//@ gdb-check:$4 = 101
//@ gdb-command:continue

//@ gdb-command:print x
//@ gdb-check:$5 = -987
//@ gdb-command:continue

//@ gdb-command:print x
//@ gdb-check:$6 = 101
//@ gdb-command:continue


// SECOND ITERATION
//@ gdb-command:print x
//@ gdb-check:$7 = 1
//@ gdb-command:continue

//@ gdb-command:print x
//@ gdb-check:$8 = 2
//@ gdb-command:continue

//@ gdb-command:print x
//@ gdb-check:$9 = 102
//@ gdb-command:continue

//@ gdb-command:print x
//@ gdb-check:$10 = 102
//@ gdb-command:continue

//@ gdb-command:print x
//@ gdb-check:$11 = -987
//@ gdb-command:continue

//@ gdb-command:print x
//@ gdb-check:$12 = 102
//@ gdb-command:continue

//@ gdb-command:print x
//@ gdb-check:$13 = 2
//@ gdb-command:continue


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

//@ lldb-command:run

// FIRST ITERATION
//@ lldb-command:v x
//@ lldb-check:[...] 0
//@ lldb-command:continue

//@ lldb-command:v x
//@ lldb-check:[...] 1
//@ lldb-command:continue

//@ lldb-command:v x
//@ lldb-check:[...] 101
//@ lldb-command:continue

//@ lldb-command:v x
//@ lldb-check:[...] 101
//@ lldb-command:continue

//@ lldb-command:v x
//@ lldb-check:[...] -987
//@ lldb-command:continue

//@ lldb-command:v x
//@ lldb-check:[...] 101
//@ lldb-command:continue


// SECOND ITERATION
//@ lldb-command:v x
//@ lldb-check:[...] 1
//@ lldb-command:continue

//@ lldb-command:v x
//@ lldb-check:[...] 2
//@ lldb-command:continue

//@ lldb-command:v x
//@ lldb-check:[...] 102
//@ lldb-command:continue

//@ lldb-command:v x
//@ lldb-check:[...] 102
//@ lldb-command:continue

//@ lldb-command:v x
//@ lldb-check:[...] -987
//@ lldb-command:continue

//@ lldb-command:v x
//@ lldb-check:[...] 102
//@ lldb-command:continue

//@ lldb-command:v x
//@ lldb-check:[...] 2
//@ lldb-command:continue

fn main() {

    let mut x = 0;

    while x < 2 {
        zzz(); // #break
        sentinel();

        x += 1;
        zzz(); // #break
        sentinel();

        // Shadow x
        let x = x + 100;
        zzz(); // #break
        sentinel();

        // open scope within loop's top level scope
        {
            zzz(); // #break
            sentinel();

            let x = -987;

            zzz(); // #break
            sentinel();
        }

        // Check that we get the x before the inner scope again
        zzz(); // #break
        sentinel();
    }

    zzz(); // #break
    sentinel();
}

fn zzz() {()}
fn sentinel() {()}