// Test that we correctly generate StorageDead statements for while loop
// conditions on all branches

fn get_bool(c: bool) -> bool {
    c
}

fn while_loop(c: bool) {
    while get_bool(c) {
        if get_bool(c) {
            break;
        }
    }
}

fn main() {
    while_loop(false);
}

// END RUST SOURCE

// START rustc.while_loop.PreCodegen.after.mir
// bb0: {
//     StorageLive(_2);
//     StorageLive(_3);
//     _3 = _1;
//     _2 = const get_bool(move _3) -> bb2;
// }
// bb1: {
//     return;
// }
// bb2: {
//     StorageDead(_3);
//     switchInt(move _2) -> [false: bb4, otherwise: bb3];
// }
// bb3: {
//     StorageDead(_2);
//     StorageLive(_4);
//     StorageLive(_5);
//     _5 = _1;
//     _4 = const get_bool(move _5) -> bb5;
// }
// bb4: {
//     StorageDead(_2);
//     goto -> bb1;
// }
// bb5: {
//     StorageDead(_5);
//     switchInt(_4) -> [false: bb6, otherwise: bb7];
// }
// bb6: {
//     StorageDead(_4);
//     goto -> bb0;
// }
// bb7: {
//     StorageDead(_4);
//     goto -> bb1;
// }
// END rustc.while_loop.PreCodegen.after.mir