1 // Test that we correctly generate StorageDead statements for while loop
2 // conditions on all branches
4 fn get_bool(c: bool) -> bool {
8 fn while_loop(c: bool) {
22 // START rustc.while_loop.PreCodegen.after.mir
27 // _2 = const get_bool(move _3) -> bb2;
34 // switchInt(move _2) -> [false: bb4, otherwise: bb3];
41 // _4 = const get_bool(move _5) -> bb5;
49 // switchInt(_4) -> [false: bb6, otherwise: bb7];
59 // END rustc.while_loop.PreCodegen.after.mir