Skip to content

Instantly share code, notes, and snippets.

@KiChjang

KiChjang/unused.rs

Created March 14, 2018 19:18
Show Gist options
  • Save KiChjang/80b513016e546ef5f08c43313bec7686 to your computer and use it in GitHub Desktop.
Save KiChjang/80b513016e546ef5f08c43313bec7686 to your computer and use it in GitHub Desktop.
Download ZIP
unused lint MIR dump
Raw
unused.rs
// MIR for `main`
// source = MirSource { def_id: DefId(0/0:3 ~ lint_unused_mut_variables[317d]::main[0]), promoted: None }
// pass_name = SimplifyCfg-initial
// disambiguator = after
fn main() -> (){
let mut _0: (); // return place
scope 1 {
let mut _1: i32; // "a" in scope 1 at src/test/compile-fail/lint-unused-mut-variables.rs:24:9: 24:14
scope 3 {
let mut _2: i32; // "a" in scope 3 at src/test/compile-fail/lint-unused-mut-variables.rs:26:9: 26:14
scope 5 {
let mut _3: i32; // "b" in scope 5 at src/test/compile-fail/lint-unused-mut-variables.rs:28:9: 28:14
scope 7 {
let mut _4: std::vec::Vec<i32>; // "a" in scope 7 at src/test/compile-fail/lint-unused-mut-variables.rs:30:9: 30:14
scope 9 {
let mut _8: i32; // "a" in scope 9 at src/test/compile-fail/lint-unused-mut-variables.rs:32:10: 32:15
let _9: i32; // "b" in scope 9 at src/test/compile-fail/lint-unused-mut-variables.rs:32:17: 32:18
scope 11 {
let mut _11: i32; // "a" in scope 11 at src/test/compile-fail/lint-unused-mut-variables.rs:34:9: 34:14
scope 13 {
let mut _12: i32; // "b" in scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:38:9: 38:14
scope 15 {
let mut _17: i32; // "x" in scope 15 at src/test/compile-fail/lint-unused-mut-variables.rs:47:9: 47:14
}
scope 16 {
let mut _21: i32; // "x" in scope 16 at src/test/compile-fail/lint-unused-mut-variables.rs:51:8: 51:13
}
scope 17 {
let _22: [closure@src/test/compile-fail/lint-unused-mut-variables.rs:59:13: 59:30]; // "x" in scope 17 at src/test/compile-fail/lint-unused-mut-variables.rs:59:9: 59:10
scope 19 {
let mut _23: &mut i32; // "a" in scope 19 at src/test/compile-fail/lint-unused-mut-variables.rs:64:9: 64:14
scope 21 {
let mut _25: i32; // "a" in scope 21 at src/test/compile-fail/lint-unused-mut-variables.rs:68:9: 68:14
scope 23 {
let mut _26: (&mut i32,); // "b" in scope 23 at src/test/compile-fail/lint-unused-mut-variables.rs:69:9: 69:14
scope 25 {
let mut _28: &mut i32; // "x" in scope 25 at src/test/compile-fail/lint-unused-mut-variables.rs:72:9: 72:14
scope 27 {
let mut _30: [closure@src/test/compile-fail/lint-unused-mut-variables.rs:74:17: 76:6 x:&mut &mut i32]; // "f" in scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:74:9: 74:14
scope 29 {
let mut _35: &mut std::vec::Vec<()>; // "v" in scope 29 at src/test/compile-fail/lint-unused-mut-variables.rs:84:9: 84:14
scope 31 {
let mut _44: i32; // "a" in scope 31 at src/test/compile-fail/lint-unused-mut-variables.rs:89:9: 89:14
scope 33 {
let mut _45: std::vec::Vec<i32>; // "a" in scope 33 at src/test/compile-fail/lint-unused-mut-variables.rs:91:9: 91:14
scope 35 {
let mut _48: std::vec::Vec<i32>; // "a" in scope 35 at src/test/compile-fail/lint-unused-mut-variables.rs:93:9: 93:14
scope 37 {
let mut _52: std::vec::Vec<i32>; // "a" in scope 37 at src/test/compile-fail/lint-unused-mut-variables.rs:97:9: 97:14
scope 39 {
let mut _56: i32; // "a" in scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:103:10: 103:15
let _57: i32; // "b" in scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:103:17: 103:18
scope 41 {
let mut _62: i32; // "x" in scope 41 at src/test/compile-fail/lint-unused-mut-variables.rs:107:9: 107:14
}
scope 42 {
let mut _66: i32; // "x" in scope 42 at src/test/compile-fail/lint-unused-mut-variables.rs:113:8: 113:13
}
scope 43 {
let _67: [closure@src/test/compile-fail/lint-unused-mut-variables.rs:121:13: 121:34]; // "x" in scope 43 at src/test/compile-fail/lint-unused-mut-variables.rs:121:9: 121:10
scope 45 {
let mut _68: i32; // "_allowed" in scope 45 at src/test/compile-fail/lint-unused-mut-variables.rs:126:9: 126:21
}
scope 46 {
}
}
scope 44 {
}
}
scope 40 {
}
}
scope 38 {
}
}
scope 36 {
}
}
scope 34 {
}
}
scope 32 {
}
}
scope 30 {
}
}
scope 28 {
}
}
scope 26 {
}
}
scope 24 {
}
}
scope 22 {
}
}
scope 20 {
}
}
scope 18 {
}
}
scope 14 {
}
}
scope 12 {
}
}
scope 10 {
}
}
scope 8 {
}
}
scope 6 {
}
}
scope 4 {
}
}
scope 2 {
}
let mut _5: std::boxed::Box<[i32]>;
let mut _6: std::boxed::Box<[i32; 1]>;
let mut _7: std::boxed::Box<[i32; 1]>;
let mut _10: (i32, i32);
let mut _13: ();
let mut _14: ();
let mut _15: i32;
let mut _16: u8;
let mut _18: ();
let mut _19: (i32, i32);
let mut _20: u8;
let mut _24: i32;
let mut _27: &mut i32;
let mut _29: i32;
let mut _31: &mut &mut i32;
let mut _32: ();
let mut _33: &mut [closure@src/test/compile-fail/lint-unused-mut-variables.rs:74:17: 76:6 x:&mut &mut i32];
let mut _34: ();
let mut _36: &mut std::vec::Vec<()>;
let mut _37: std::vec::Vec<()>;
let mut _38: std::boxed::Box<[()]>;
let mut _39: std::boxed::Box<[(); 0]>;
let mut _40: std::boxed::Box<[(); 0]>;
let mut _41: ();
let mut _42: &mut std::vec::Vec<()>;
let mut _43: ();
let mut _46: ();
let mut _47: &mut std::vec::Vec<i32>;
let mut _49: ();
let mut _50: [closure@src/test/compile-fail/lint-unused-mut-variables.rs:94:14: 96:6 a:&mut std::vec::Vec<i32>];
let mut _51: &mut std::vec::Vec<i32>;
let mut _53: ();
let mut _54: [closure@src/test/compile-fail/lint-unused-mut-variables.rs:98:14: 102:6 a:&mut std::vec::Vec<i32>];
let mut _55: &mut std::vec::Vec<i32>;
let mut _58: (i32, i32);
let mut _59: ();
let mut _60: i32;
let mut _61: u8;
let mut _63: ();
let mut _64: (i32, i32);
let mut _65: u8;
bb0: {
StorageLive(_1); // bb0[0]: scope 0 at src/test/compile-fail/lint-unused-mut-variables.rs:24:9: 24:14
_1 = const 3i32; // bb0[1]: scope 0 at src/test/compile-fail/lint-unused-mut-variables.rs:24:17: 24:18
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(3)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:24:17: 24:18
// + ty: i32
// + literal: const 3i32
StorageLive(_2); // bb0[2]: scope 1 at src/test/compile-fail/lint-unused-mut-variables.rs:26:9: 26:14
_2 = const 2i32; // bb0[3]: scope 1 at src/test/compile-fail/lint-unused-mut-variables.rs:26:17: 26:18
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(2)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:26:17: 26:18
// + ty: i32
// + literal: const 2i32
StorageLive(_3); // bb0[4]: scope 3 at src/test/compile-fail/lint-unused-mut-variables.rs:28:9: 28:14
_3 = const 3i32; // bb0[5]: scope 3 at src/test/compile-fail/lint-unused-mut-variables.rs:28:17: 28:18
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(3)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:28:17: 28:18
// + ty: i32
// + literal: const 3i32
StorageLive(_4); // bb0[6]: scope 5 at src/test/compile-fail/lint-unused-mut-variables.rs:30:9: 30:14
StorageLive(_5); // bb0[7]: scope 5 at <vec macros>:3:25: 3:46
StorageLive(_6); // bb0[8]: scope 5 at <vec macros>:3:25: 3:46
StorageLive(_7); // bb0[9]: scope 5 at <vec macros>:3:25: 3:46
_7 = Box([i32; 1]); // bb0[10]: scope 5 at <vec macros>:3:25: 3:46
(*_7) = [const 3i32]; // bb0[11]: scope 5 at <vec macros>:3:29: 3:46
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(3)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:30:22: 30:23
// + ty: i32
// + literal: const 3i32
_6 = move _7; // bb0[12]: scope 5 at <vec macros>:3:25: 3:46
_5 = move _6 as std::boxed::Box<[i32]> (Unsize); // bb0[13]: scope 5 at <vec macros>:3:25: 3:46
drop(_6) -> [return: bb3, unwind: bb2]; // bb0[14]: scope 5 at <vec macros>:3:45: 3:46
}
bb1: { // cleanup
resume; // bb1[0]: scope 0 at src/test/compile-fail/lint-unused-mut-variables.rs:22:1: 127:2
}
bb2: { // cleanup
drop(_5) -> bb1; // bb2[0]: scope 5 at <vec macros>:3:47: 3:48
}
bb3: {
StorageDead(_6); // bb3[0]: scope 5 at <vec macros>:3:45: 3:46
StorageDead(_7); // bb3[1]: scope 5 at <vec macros>:3:45: 3:46
_4 = const std::slice::<impl [T]>::into_vec(move _5) -> [return: bb4, unwind: bb2]; // bb3[2]: scope 5 at <vec macros>:3:1: 3:48
// ty::Const
// + ty: fn(std::boxed::Box<[i32]>) -> std::vec::Vec<i32> {std::slice::<impl [T]><i32>::into_vec}
// + val: Value(ByVal(Undef))
// mir::Constant
// + span: <vec macros>:3:1: 3:22
// + ty: fn(std::boxed::Box<[i32]>) -> std::vec::Vec<i32> {std::slice::<impl [T]><i32>::into_vec}
// + literal: const std::slice::<impl [T]>::into_vec
}
bb4: {
drop(_5) -> [return: bb5, unwind: bb1]; // bb4[0]: scope 5 at <vec macros>:3:47: 3:48
}
bb5: {
StorageDead(_5); // bb5[0]: scope 5 at <vec macros>:3:47: 3:48
StorageLive(_10); // bb5[1]: scope 7 at src/test/compile-fail/lint-unused-mut-variables.rs:32:22: 32:28
_10 = (const 1i32, const 2i32); // bb5[2]: scope 7 at src/test/compile-fail/lint-unused-mut-variables.rs:32:22: 32:28
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(1)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:32:23: 32:24
// + ty: i32
// + literal: const 1i32
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(2)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:32:26: 32:27
// + ty: i32
// + literal: const 2i32
StorageLive(_8); // bb5[3]: scope 7 at src/test/compile-fail/lint-unused-mut-variables.rs:32:10: 32:15
_8 = (_10.0: i32); // bb5[4]: scope 7 at src/test/compile-fail/lint-unused-mut-variables.rs:32:10: 32:15
StorageLive(_9); // bb5[5]: scope 7 at src/test/compile-fail/lint-unused-mut-variables.rs:32:17: 32:18
_9 = (_10.1: i32); // bb5[6]: scope 7 at src/test/compile-fail/lint-unused-mut-variables.rs:32:17: 32:18
StorageDead(_10); // bb5[7]: scope 7 at src/test/compile-fail/lint-unused-mut-variables.rs:32:28: 32:29
StorageLive(_11); // bb5[8]: scope 9 at src/test/compile-fail/lint-unused-mut-variables.rs:34:9: 34:14
_11 = const 3i32; // bb5[9]: scope 11 at src/test/compile-fail/lint-unused-mut-variables.rs:36:5: 36:10
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(3)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:36:9: 36:10
// + ty: i32
// + literal: const 3i32
StorageLive(_12); // bb5[10]: scope 11 at src/test/compile-fail/lint-unused-mut-variables.rs:38:9: 38:14
switchInt(const true) -> [false: bb7, otherwise: bb6]; // bb5[11]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:40:5: 44:6
// ty::Const
// + ty: bool
// + val: Value(ByVal(Bytes(1)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:40:8: 40:12
// + ty: bool
// + literal: const true
}
bb6: {
_12 = const 3i32; // bb6[0]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:41:9: 41:14
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(3)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:41:13: 41:14
// + ty: i32
// + literal: const 3i32
_13 = (); // bb6[1]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:40:13: 42:6
goto -> bb8; // bb6[2]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:40:5: 44:6
}
bb7: {
_12 = const 4i32; // bb7[0]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:43:9: 43:14
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(4)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:43:13: 43:14
// + ty: i32
// + literal: const 4i32
_13 = (); // bb7[1]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:42:12: 44:6
goto -> bb8; // bb7[2]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:40:5: 44:6
}
bb8: {
StorageLive(_15); // bb8[0]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:46:11: 46:13
_15 = const 30i32; // bb8[1]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:46:11: 46:13
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(30)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:46:11: 46:13
// + ty: i32
// + literal: const 30i32
_16 = discriminant(_15); // bb8[2]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:46:5: 49:6
falseEdges -> [real: bb10, imaginary: bb9]; // bb8[3]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:47:9: 47:14
}
bb9: {
unreachable; // bb9[0]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:46:5: 49:6
}
bb10: {
StorageLive(_17); // bb10[0]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:47:9: 47:14
_17 = _15; // bb10[1]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:47:9: 47:14
_14 = (); // bb10[2]: scope 15 at src/test/compile-fail/lint-unused-mut-variables.rs:47:18: 47:20
StorageDead(_17); // bb10[3]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:49:5: 49:6
StorageDead(_15); // bb10[4]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:49:5: 49:6
StorageLive(_19); // bb10[5]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:50:11: 50:18
_19 = (const 30i32, const 2i32); // bb10[6]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:50:11: 50:18
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(30)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:50:12: 50:14
// + ty: i32
// + literal: const 30i32
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(2)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:50:16: 50:17
// + ty: i32
// + literal: const 2i32
_20 = discriminant(_19); // bb10[7]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:50:5: 57:6
switchInt((_19.1: i32)) -> [1i32: bb17, 2i32: bb13, 3i32: bb14, otherwise: bb15]; // bb10[8]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:51:15: 51:16
}
bb11: {
_18 = (); // bb11[0]: scope 16 at src/test/compile-fail/lint-unused-mut-variables.rs:54:21: 55:8
goto -> bb21; // bb11[1]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:50:5: 57:6
}
bb12: {
_18 = (); // bb12[0]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:56:12: 56:14
goto -> bb21; // bb12[1]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:50:5: 57:6
}
bb13: {
falseEdges -> [real: bb19, imaginary: bb14]; // bb13[0]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:53:7: 53:17
}
bb14: {
falseEdges -> [real: bb20, imaginary: bb15]; // bb14[0]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:54:7: 54:17
}
bb15: {
falseEdges -> [real: bb12, imaginary: bb16]; // bb15[0]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:56:7: 56:8
}
bb16: {
unreachable; // bb16[0]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:50:5: 57:6
}
bb17: {
falseEdges -> [real: bb18, imaginary: bb13]; // bb17[0]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:51:7: 51:17
}
bb18: {
StorageLive(_21); // bb18[0]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:51:8: 51:13
_21 = (_19.0: i32); // bb18[1]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:51:8: 51:13
goto -> bb11; // bb18[2]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:51:7: 51:17
}
bb19: {
StorageLive(_21); // bb19[0]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:53:8: 53:13
_21 = (_19.0: i32); // bb19[1]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:53:8: 53:13
goto -> bb11; // bb19[2]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:53:7: 53:17
}
bb20: {
StorageLive(_21); // bb20[0]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:54:8: 54:13
_21 = (_19.0: i32); // bb20[1]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:54:8: 54:13
goto -> bb11; // bb20[2]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:54:7: 54:17
}
bb21: {
StorageDead(_21); // bb21[0]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:57:5: 57:6
StorageDead(_21); // bb21[1]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:57:5: 57:6
StorageDead(_21); // bb21[2]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:57:5: 57:6
StorageDead(_19); // bb21[3]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:57:5: 57:6
StorageLive(_22); // bb21[4]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:59:9: 59:10
_22 = [closure@src/test/compile-fail/lint-unused-mut-variables.rs:59:13: 59:30]; // bb21[5]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:59:13: 59:30
// closure
// + def_id: DefId(0/1:9 ~ lint_unused_mut_variables[317d]::main[0]::{{closure}}[0])
// + substs: ClosureSubsts {
// substs: Slice(
// [
// i8,
// extern "rust-call" fn((isize,)) -> i32
// ]
// )
// }
StorageLive(_23); // bb21[6]: scope 17 at src/test/compile-fail/lint-unused-mut-variables.rs:64:9: 64:14
StorageLive(_24); // bb21[7]: scope 17 at src/test/compile-fail/lint-unused-mut-variables.rs:64:22: 64:23
_24 = const 5i32; // bb21[8]: scope 17 at src/test/compile-fail/lint-unused-mut-variables.rs:64:22: 64:23
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(5)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:64:22: 64:23
// + ty: i32
// + literal: const 5i32
_23 = &mut _24; // bb21[9]: scope 17 at src/test/compile-fail/lint-unused-mut-variables.rs:64:17: 64:23
(*_23) = const 4i32; // bb21[10]: scope 19 at src/test/compile-fail/lint-unused-mut-variables.rs:66:5: 66:11
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(4)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:66:10: 66:11
// + ty: i32
// + literal: const 4i32
StorageLive(_25); // bb21[11]: scope 19 at src/test/compile-fail/lint-unused-mut-variables.rs:68:9: 68:14
_25 = const 5i32; // bb21[12]: scope 19 at src/test/compile-fail/lint-unused-mut-variables.rs:68:17: 68:18
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(5)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:68:17: 68:18
// + ty: i32
// + literal: const 5i32
StorageLive(_26); // bb21[13]: scope 21 at src/test/compile-fail/lint-unused-mut-variables.rs:69:9: 69:14
StorageLive(_27); // bb21[14]: scope 21 at src/test/compile-fail/lint-unused-mut-variables.rs:69:18: 69:24
_27 = &mut _25; // bb21[15]: scope 21 at src/test/compile-fail/lint-unused-mut-variables.rs:69:18: 69:24
_26 = (move _27,); // bb21[16]: scope 21 at src/test/compile-fail/lint-unused-mut-variables.rs:69:17: 69:26
StorageDead(_27); // bb21[17]: scope 21 at src/test/compile-fail/lint-unused-mut-variables.rs:69:25: 69:26
(*(_26.0: &mut i32)) = const 4i32; // bb21[18]: scope 23 at src/test/compile-fail/lint-unused-mut-variables.rs:70:5: 70:13
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(4)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:70:12: 70:13
// + ty: i32
// + literal: const 4i32
StorageLive(_28); // bb21[19]: scope 23 at src/test/compile-fail/lint-unused-mut-variables.rs:72:9: 72:14
StorageLive(_29); // bb21[20]: scope 23 at src/test/compile-fail/lint-unused-mut-variables.rs:72:22: 72:23
_29 = const 1i32; // bb21[21]: scope 23 at src/test/compile-fail/lint-unused-mut-variables.rs:72:22: 72:23
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(1)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:72:22: 72:23
// + ty: i32
// + literal: const 1i32
_28 = &mut _29; // bb21[22]: scope 23 at src/test/compile-fail/lint-unused-mut-variables.rs:72:17: 72:23
StorageLive(_30); // bb21[23]: scope 25 at src/test/compile-fail/lint-unused-mut-variables.rs:74:9: 74:14
StorageLive(_31); // bb21[24]: scope 25 at src/test/compile-fail/lint-unused-mut-variables.rs:74:17: 76:6
_31 = &mut _28; // bb21[25]: scope 25 at src/test/compile-fail/lint-unused-mut-variables.rs:74:17: 76:6
_30 = [closure@src/test/compile-fail/lint-unused-mut-variables.rs:74:17: 76:6] { x: move _31 }; // bb21[26]: scope 25 at src/test/compile-fail/lint-unused-mut-variables.rs:74:17: 76:6
// closure
// + def_id: DefId(0/1:10 ~ lint_unused_mut_variables[317d]::main[0]::{{closure}}[1])
// + substs: ClosureSubsts {
// substs: Slice(
// [
// i16,
// extern "rust-call" fn(()),
// &mut &mut i32
// ]
// )
// }
StorageDead(_31); // bb21[27]: scope 25 at src/test/compile-fail/lint-unused-mut-variables.rs:76:5: 76:6
StorageLive(_33); // bb21[28]: scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:77:5: 77:6
_33 = &mut _30; // bb21[29]: scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:77:5: 77:6
StorageLive(_34); // bb21[30]: scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:77:5: 77:8
_34 = (); // bb21[31]: scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:77:5: 77:8
_32 = const std::ops::FnMut::call_mut(move _33, move _34) -> [return: bb22, unwind: bb24]; // bb21[32]: scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:77:5: 77:8
// ty::Const
// + ty: for<'r> extern "rust-call" fn(&'r mut [closure@src/test/compile-fail/lint-unused-mut-variables.rs:74:17: 76:6 x:&mut &mut i32], ()) -> <[closure@src/test/compile-fail/lint-unused-mut-variables.rs:74:17: 76:6 x:&mut &mut i32] as std::ops::FnOnce<()>>::Output {<[closure@src/test/compile-fail/lint-unused-mut-variables.rs:74:17: 76:6 x:&mut &mut i32] as std::ops::FnMut<()>>::call_mut}
// + val: Value(ByVal(Undef))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:77:5: 77:8
// + ty: for<'r> extern "rust-call" fn(&'r mut [closure@src/test/compile-fail/lint-unused-mut-variables.rs:74:17: 76:6 x:&mut &mut i32], ()) -> <[closure@src/test/compile-fail/lint-unused-mut-variables.rs:74:17: 76:6 x:&mut &mut i32] as std::ops::FnOnce<()>>::Output {<[closure@src/test/compile-fail/lint-unused-mut-variables.rs:74:17: 76:6 x:&mut &mut i32] as std::ops::FnMut<()>>::call_mut}
// + literal: const std::ops::FnMut::call_mut
}
bb22: {
EndRegion(); // bb22[0]: scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:77:5: 77:8
StorageDead(_34); // bb22[1]: scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:77:7: 77:8
StorageDead(_33); // bb22[2]: scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:77:7: 77:8
StorageLive(_35); // bb22[3]: scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:84:9: 84:14
StorageLive(_36); // bb22[4]: scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:84:32: 84:43
StorageLive(_37); // bb22[5]: scope 27 at <vec macros>:3:1: 3:48
StorageLive(_38); // bb22[6]: scope 27 at <vec macros>:3:25: 3:46
StorageLive(_39); // bb22[7]: scope 27 at <vec macros>:3:25: 3:46
StorageLive(_40); // bb22[8]: scope 27 at <vec macros>:3:25: 3:46
_40 = Box([(); 0]); // bb22[9]: scope 27 at <vec macros>:3:25: 3:46
(*_40) = []; // bb22[10]: scope 27 at <vec macros>:3:29: 3:46
_39 = move _40; // bb22[11]: scope 27 at <vec macros>:3:25: 3:46
_38 = move _39 as std::boxed::Box<[()]> (Unsize); // bb22[12]: scope 27 at <vec macros>:3:25: 3:46
drop(_39) -> [return: bb27, unwind: bb26]; // bb22[13]: scope 27 at <vec macros>:3:45: 3:46
}
bb23: { // cleanup
EndRegion(); // bb23[0]: scope 25 at src/test/compile-fail/lint-unused-mut-variables.rs:22:11: 127:2
EndRegion(); // bb23[1]: scope 23 at src/test/compile-fail/lint-unused-mut-variables.rs:22:11: 127:2
EndRegion(); // bb23[2]: scope 21 at src/test/compile-fail/lint-unused-mut-variables.rs:22:11: 127:2
EndRegion(); // bb23[3]: scope 17 at src/test/compile-fail/lint-unused-mut-variables.rs:22:11: 127:2
drop(_4) -> bb1; // bb23[4]: scope 5 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
}
bb24: { // cleanup
EndRegion(); // bb24[0]: scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:77:5: 77:8
goto -> bb23; // bb24[1]: scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:77:5: 77:8
}
bb25: { // cleanup
EndRegion(); // bb25[0]: scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:22:11: 127:2
goto -> bb23; // bb25[1]: scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:22:11: 127:2
}
bb26: { // cleanup
drop(_38) -> bb25; // bb26[0]: scope 27 at <vec macros>:3:47: 3:48
}
bb27: {
StorageDead(_39); // bb27[0]: scope 27 at <vec macros>:3:45: 3:46
StorageDead(_40); // bb27[1]: scope 27 at <vec macros>:3:45: 3:46
_37 = const std::slice::<impl [T]>::into_vec(move _38) -> [return: bb28, unwind: bb26]; // bb27[2]: scope 27 at <vec macros>:3:1: 3:48
// ty::Const
// + ty: fn(std::boxed::Box<[()]>) -> std::vec::Vec<()> {std::slice::<impl [T]><()>::into_vec}
// + val: Value(ByVal(Undef))
// mir::Constant
// + span: <vec macros>:3:1: 3:22
// + ty: fn(std::boxed::Box<[()]>) -> std::vec::Vec<()> {std::slice::<impl [T]><()>::into_vec}
// + literal: const std::slice::<impl [T]>::into_vec
}
bb28: {
drop(_38) -> [return: bb30, unwind: bb29]; // bb28[0]: scope 27 at <vec macros>:3:47: 3:48
}
bb29: { // cleanup
EndRegion(); // bb29[0]: scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:22:11: 127:2
drop(_37) -> bb23; // bb29[1]: scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
}
bb30: {
StorageDead(_38); // bb30[0]: scope 27 at <vec macros>:3:47: 3:48
_36 = &mut _37; // bb30[1]: scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:84:32: 84:43
_35 = &mut (*_36); // bb30[2]: scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:84:32: 84:43
StorageDead(_36); // bb30[3]: scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:84:43: 84:44
StorageLive(_42); // bb30[4]: scope 29 at src/test/compile-fail/lint-unused-mut-variables.rs:86:5: 86:6
_42 = &mut (*_35); // bb30[5]: scope 29 at src/test/compile-fail/lint-unused-mut-variables.rs:86:5: 86:6
StorageLive(_43); // bb30[6]: scope 29 at src/test/compile-fail/lint-unused-mut-variables.rs:86:12: 86:14
_43 = (); // bb30[7]: scope 29 at src/test/compile-fail/lint-unused-mut-variables.rs:86:12: 86:14
_41 = const <std::vec::Vec<T>>::push(move _42, move _43) -> [return: bb31, unwind: bb32]; // bb30[8]: scope 29 at src/test/compile-fail/lint-unused-mut-variables.rs:86:5: 86:15
// ty::Const
// + ty: for<'r> fn(&'r mut std::vec::Vec<()>, ()) {<std::vec::Vec<T>><()>::push}
// + val: Value(ByVal(Undef))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:86:5: 86:15
// + ty: for<'r> fn(&'r mut std::vec::Vec<()>, ()) {<std::vec::Vec<T>><()>::push}
// + literal: const <std::vec::Vec<T>>::push
}
bb31: {
EndRegion(); // bb31[0]: scope 29 at src/test/compile-fail/lint-unused-mut-variables.rs:86:5: 86:15
StorageDead(_43); // bb31[1]: scope 29 at src/test/compile-fail/lint-unused-mut-variables.rs:86:14: 86:15
StorageDead(_42); // bb31[2]: scope 29 at src/test/compile-fail/lint-unused-mut-variables.rs:86:14: 86:15
StorageLive(_44); // bb31[3]: scope 29 at src/test/compile-fail/lint-unused-mut-variables.rs:89:9: 89:14
_44 = const 2i32; // bb31[4]: scope 29 at src/test/compile-fail/lint-unused-mut-variables.rs:89:17: 89:18
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(2)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:89:17: 89:18
// + ty: i32
// + literal: const 2i32
_44 = const 3i32; // bb31[5]: scope 31 at src/test/compile-fail/lint-unused-mut-variables.rs:90:5: 90:10
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(3)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:90:9: 90:10
// + ty: i32
// + literal: const 3i32
StorageLive(_45); // bb31[6]: scope 31 at src/test/compile-fail/lint-unused-mut-variables.rs:91:9: 91:14
_45 = const <std::vec::Vec<T>>::new() -> [return: bb33, unwind: bb29]; // bb31[7]: scope 31 at src/test/compile-fail/lint-unused-mut-variables.rs:91:17: 91:27
// ty::Const
// + ty: fn() -> std::vec::Vec<i32> {<std::vec::Vec<T>><i32>::new}
// + val: Value(ByVal(Undef))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:91:17: 91:25
// + ty: fn() -> std::vec::Vec<i32> {<std::vec::Vec<T>><i32>::new}
// + literal: const <std::vec::Vec<T>>::new
}
bb32: { // cleanup
EndRegion(); // bb32[0]: scope 29 at src/test/compile-fail/lint-unused-mut-variables.rs:86:5: 86:15
goto -> bb29; // bb32[1]: scope 29 at src/test/compile-fail/lint-unused-mut-variables.rs:86:5: 86:15
}
bb33: {
StorageLive(_47); // bb33[0]: scope 33 at src/test/compile-fail/lint-unused-mut-variables.rs:92:5: 92:6
_47 = &mut _45; // bb33[1]: scope 33 at src/test/compile-fail/lint-unused-mut-variables.rs:92:5: 92:6
_46 = const <std::vec::Vec<T>>::push(move _47, const 3i32) -> [return: bb34, unwind: bb36]; // bb33[2]: scope 33 at src/test/compile-fail/lint-unused-mut-variables.rs:92:5: 92:14
// ty::Const
// + ty: for<'r> fn(&'r mut std::vec::Vec<i32>, i32) {<std::vec::Vec<T>><i32>::push}
// + val: Value(ByVal(Undef))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:92:5: 92:14
// + ty: for<'r> fn(&'r mut std::vec::Vec<i32>, i32) {<std::vec::Vec<T>><i32>::push}
// + literal: const <std::vec::Vec<T>>::push
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(3)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:92:12: 92:13
// + ty: i32
// + literal: const 3i32
}
bb34: {
EndRegion(); // bb34[0]: scope 33 at src/test/compile-fail/lint-unused-mut-variables.rs:92:5: 92:14
StorageDead(_47); // bb34[1]: scope 33 at src/test/compile-fail/lint-unused-mut-variables.rs:92:13: 92:14
StorageLive(_48); // bb34[2]: scope 33 at src/test/compile-fail/lint-unused-mut-variables.rs:93:9: 93:14
_48 = const <std::vec::Vec<T>>::new() -> [return: bb37, unwind: bb35]; // bb34[3]: scope 33 at src/test/compile-fail/lint-unused-mut-variables.rs:93:17: 93:27
// ty::Const
// + ty: fn() -> std::vec::Vec<i32> {<std::vec::Vec<T>><i32>::new}
// + val: Value(ByVal(Undef))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:93:17: 93:25
// + ty: fn() -> std::vec::Vec<i32> {<std::vec::Vec<T>><i32>::new}
// + literal: const <std::vec::Vec<T>>::new
}
bb35: { // cleanup
drop(_45) -> bb29; // bb35[0]: scope 31 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
}
bb36: { // cleanup
EndRegion(); // bb36[0]: scope 33 at src/test/compile-fail/lint-unused-mut-variables.rs:92:5: 92:14
goto -> bb35; // bb36[1]: scope 33 at src/test/compile-fail/lint-unused-mut-variables.rs:92:5: 92:14
}
bb37: {
StorageLive(_50); // bb37[0]: scope 35 at src/test/compile-fail/lint-unused-mut-variables.rs:94:14: 96:6
StorageLive(_51); // bb37[1]: scope 35 at src/test/compile-fail/lint-unused-mut-variables.rs:94:14: 96:6
_51 = &mut _48; // bb37[2]: scope 35 at src/test/compile-fail/lint-unused-mut-variables.rs:94:14: 96:6
_50 = [closure@src/test/compile-fail/lint-unused-mut-variables.rs:94:14: 96:6] { a: move _51 }; // bb37[3]: scope 35 at src/test/compile-fail/lint-unused-mut-variables.rs:94:14: 96:6
// closure
// + def_id: DefId(0/1:11 ~ lint_unused_mut_variables[317d]::main[0]::{{closure}}[2])
// + substs: ClosureSubsts {
// substs: Slice(
// [
// i32,
// extern "rust-call" fn(()),
// &mut std::vec::Vec<i32>
// ]
// )
// }
StorageDead(_51); // bb37[4]: scope 35 at src/test/compile-fail/lint-unused-mut-variables.rs:96:5: 96:6
_49 = const callback(move _50) -> [return: bb38, unwind: bb40]; // bb37[5]: scope 35 at src/test/compile-fail/lint-unused-mut-variables.rs:94:5: 96:7
// ty::Const
// + ty: fn([closure@src/test/compile-fail/lint-unused-mut-variables.rs:94:14: 96:6 a:&mut std::vec::Vec<i32>]) {callback::<[closure@src/test/compile-fail/lint-unused-mut-variables.rs:94:14: 96:6 a:&mut std::vec::Vec<i32>]>}
// + val: Value(ByVal(Undef))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:94:5: 94:13
// + ty: fn([closure@src/test/compile-fail/lint-unused-mut-variables.rs:94:14: 96:6 a:&mut std::vec::Vec<i32>]) {callback::<[closure@src/test/compile-fail/lint-unused-mut-variables.rs:94:14: 96:6 a:&mut std::vec::Vec<i32>]>}
// + literal: const callback
}
bb38: {
EndRegion(); // bb38[0]: scope 35 at src/test/compile-fail/lint-unused-mut-variables.rs:94:5: 96:7
StorageDead(_50); // bb38[1]: scope 35 at src/test/compile-fail/lint-unused-mut-variables.rs:96:6: 96:7
StorageLive(_52); // bb38[2]: scope 35 at src/test/compile-fail/lint-unused-mut-variables.rs:97:9: 97:14
_52 = const <std::vec::Vec<T>>::new() -> [return: bb41, unwind: bb39]; // bb38[3]: scope 35 at src/test/compile-fail/lint-unused-mut-variables.rs:97:17: 97:27
// ty::Const
// + ty: fn() -> std::vec::Vec<i32> {<std::vec::Vec<T>><i32>::new}
// + val: Value(ByVal(Undef))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:97:17: 97:25
// + ty: fn() -> std::vec::Vec<i32> {<std::vec::Vec<T>><i32>::new}
// + literal: const <std::vec::Vec<T>>::new
}
bb39: { // cleanup
drop(_48) -> bb35; // bb39[0]: scope 33 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
}
bb40: { // cleanup
EndRegion(); // bb40[0]: scope 35 at src/test/compile-fail/lint-unused-mut-variables.rs:94:5: 96:7
goto -> bb39; // bb40[1]: scope 35 at src/test/compile-fail/lint-unused-mut-variables.rs:94:5: 96:7
}
bb41: {
StorageLive(_54); // bb41[0]: scope 37 at src/test/compile-fail/lint-unused-mut-variables.rs:98:14: 102:6
StorageLive(_55); // bb41[1]: scope 37 at src/test/compile-fail/lint-unused-mut-variables.rs:98:14: 102:6
_55 = &mut _52; // bb41[2]: scope 37 at src/test/compile-fail/lint-unused-mut-variables.rs:98:14: 102:6
_54 = [closure@src/test/compile-fail/lint-unused-mut-variables.rs:98:14: 102:6] { a: move _55 }; // bb41[3]: scope 37 at src/test/compile-fail/lint-unused-mut-variables.rs:98:14: 102:6
// closure
// + def_id: DefId(0/1:12 ~ lint_unused_mut_variables[317d]::main[0]::{{closure}}[3])
// + substs: ClosureSubsts {
// substs: Slice(
// [
// i32,
// extern "rust-call" fn(()),
// &mut std::vec::Vec<i32>
// ]
// )
// }
StorageDead(_55); // bb41[4]: scope 37 at src/test/compile-fail/lint-unused-mut-variables.rs:102:5: 102:6
_53 = const callback(move _54) -> [return: bb42, unwind: bb43]; // bb41[5]: scope 37 at src/test/compile-fail/lint-unused-mut-variables.rs:98:5: 102:7
// ty::Const
// + ty: fn([closure@src/test/compile-fail/lint-unused-mut-variables.rs:98:14: 102:6 a:&mut std::vec::Vec<i32>]) {callback::<[closure@src/test/compile-fail/lint-unused-mut-variables.rs:98:14: 102:6 a:&mut std::vec::Vec<i32>]>}
// + val: Value(ByVal(Undef))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:98:5: 98:13
// + ty: fn([closure@src/test/compile-fail/lint-unused-mut-variables.rs:98:14: 102:6 a:&mut std::vec::Vec<i32>]) {callback::<[closure@src/test/compile-fail/lint-unused-mut-variables.rs:98:14: 102:6 a:&mut std::vec::Vec<i32>]>}
// + literal: const callback
}
bb42: {
EndRegion(); // bb42[0]: scope 37 at src/test/compile-fail/lint-unused-mut-variables.rs:98:5: 102:7
StorageDead(_54); // bb42[1]: scope 37 at src/test/compile-fail/lint-unused-mut-variables.rs:102:6: 102:7
StorageLive(_58); // bb42[2]: scope 37 at src/test/compile-fail/lint-unused-mut-variables.rs:103:22: 103:28
_58 = (const 1i32, const 2i32); // bb42[3]: scope 37 at src/test/compile-fail/lint-unused-mut-variables.rs:103:22: 103:28
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(1)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:103:23: 103:24
// + ty: i32
// + literal: const 1i32
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(2)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:103:26: 103:27
// + ty: i32
// + literal: const 2i32
StorageLive(_56); // bb42[4]: scope 37 at src/test/compile-fail/lint-unused-mut-variables.rs:103:10: 103:15
_56 = (_58.0: i32); // bb42[5]: scope 37 at src/test/compile-fail/lint-unused-mut-variables.rs:103:10: 103:15
StorageLive(_57); // bb42[6]: scope 37 at src/test/compile-fail/lint-unused-mut-variables.rs:103:17: 103:18
_57 = (_58.1: i32); // bb42[7]: scope 37 at src/test/compile-fail/lint-unused-mut-variables.rs:103:17: 103:18
StorageDead(_58); // bb42[8]: scope 37 at src/test/compile-fail/lint-unused-mut-variables.rs:103:28: 103:29
_56 = const 34i32; // bb42[9]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:104:5: 104:11
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(34)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:104:9: 104:11
// + ty: i32
// + literal: const 34i32
StorageLive(_60); // bb42[10]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:106:11: 106:13
_60 = const 30i32; // bb42[11]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:106:11: 106:13
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(30)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:106:11: 106:13
// + ty: i32
// + literal: const 30i32
_61 = discriminant(_60); // bb42[12]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:106:5: 110:6
falseEdges -> [real: bb45, imaginary: bb44]; // bb42[13]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:107:9: 107:14
}
bb43: { // cleanup
EndRegion(); // bb43[0]: scope 37 at src/test/compile-fail/lint-unused-mut-variables.rs:98:5: 102:7
drop(_52) -> bb39; // bb43[1]: scope 35 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
}
bb44: {
unreachable; // bb44[0]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:106:5: 110:6
}
bb45: {
StorageLive(_62); // bb45[0]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:107:9: 107:14
_62 = _60; // bb45[1]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:107:9: 107:14
_62 = const 21i32; // bb45[2]: scope 41 at src/test/compile-fail/lint-unused-mut-variables.rs:108:13: 108:19
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(21)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:108:17: 108:19
// + ty: i32
// + literal: const 21i32
_59 = (); // bb45[3]: scope 41 at src/test/compile-fail/lint-unused-mut-variables.rs:107:18: 109:10
StorageDead(_62); // bb45[4]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:110:5: 110:6
StorageDead(_60); // bb45[5]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:110:5: 110:6
StorageLive(_64); // bb45[6]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:112:11: 112:18
_64 = (const 30i32, const 2i32); // bb45[7]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:112:11: 112:18
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(30)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:112:12: 112:14
// + ty: i32
// + literal: const 30i32
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(2)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:112:16: 112:17
// + ty: i32
// + literal: const 2i32
_65 = discriminant(_64); // bb45[8]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:112:5: 119:6
switchInt((_64.1: i32)) -> [1i32: bb52, 2i32: bb48, 3i32: bb49, otherwise: bb50]; // bb45[9]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:113:15: 113:16
}
bb46: {
_66 = const 21i32; // bb46[0]: scope 42 at src/test/compile-fail/lint-unused-mut-variables.rs:116:9: 116:15
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(21)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:116:13: 116:15
// + ty: i32
// + literal: const 21i32
_63 = (); // bb46[1]: scope 42 at src/test/compile-fail/lint-unused-mut-variables.rs:116:9: 116:15
goto -> bb56; // bb46[2]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:112:5: 119:6
}
bb47: {
_63 = (); // bb47[0]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:118:12: 118:14
goto -> bb56; // bb47[1]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:112:5: 119:6
}
bb48: {
falseEdges -> [real: bb54, imaginary: bb49]; // bb48[0]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:114:7: 114:17
}
bb49: {
falseEdges -> [real: bb55, imaginary: bb50]; // bb49[0]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:115:7: 115:17
}
bb50: {
falseEdges -> [real: bb47, imaginary: bb51]; // bb50[0]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:118:7: 118:8
}
bb51: {
unreachable; // bb51[0]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:112:5: 119:6
}
bb52: {
falseEdges -> [real: bb53, imaginary: bb48]; // bb52[0]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:113:7: 113:17
}
bb53: {
StorageLive(_66); // bb53[0]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:113:8: 113:13
_66 = (_64.0: i32); // bb53[1]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:113:8: 113:13
goto -> bb46; // bb53[2]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:113:7: 113:17
}
bb54: {
StorageLive(_66); // bb54[0]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:114:8: 114:13
_66 = (_64.0: i32); // bb54[1]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:114:8: 114:13
goto -> bb46; // bb54[2]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:114:7: 114:17
}
bb55: {
StorageLive(_66); // bb55[0]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:115:8: 115:13
_66 = (_64.0: i32); // bb55[1]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:115:8: 115:13
goto -> bb46; // bb55[2]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:115:7: 115:17
}
bb56: {
StorageDead(_66); // bb56[0]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:119:5: 119:6
StorageDead(_66); // bb56[1]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:119:5: 119:6
StorageDead(_66); // bb56[2]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:119:5: 119:6
StorageDead(_64); // bb56[3]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:119:5: 119:6
StorageLive(_67); // bb56[4]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:121:9: 121:10
_67 = [closure@src/test/compile-fail/lint-unused-mut-variables.rs:121:13: 121:34]; // bb56[5]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:121:13: 121:34
// closure
// + def_id: DefId(0/1:14 ~ lint_unused_mut_variables[317d]::main[0]::{{closure}}[4])
// + substs: ClosureSubsts {
// substs: Slice(
// [
// i8,
// extern "rust-call" fn((isize,))
// ]
// )
// }
StorageLive(_68); // bb56[6]: scope 43 at src/test/compile-fail/lint-unused-mut-variables.rs:126:9: 126:21
_68 = const 1i32; // bb56[7]: scope 43 at src/test/compile-fail/lint-unused-mut-variables.rs:126:24: 126:25
// ty::Const
// + ty: i32
// + val: Value(ByVal(Bytes(1)))
// mir::Constant
// + span: src/test/compile-fail/lint-unused-mut-variables.rs:126:24: 126:25
// + ty: i32
// + literal: const 1i32
_0 = (); // bb56[8]: scope 0 at src/test/compile-fail/lint-unused-mut-variables.rs:22:11: 127:2
StorageDead(_68); // bb56[9]: scope 43 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
StorageDead(_67); // bb56[10]: scope 39 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
StorageDead(_57); // bb56[11]: scope 37 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
StorageDead(_56); // bb56[12]: scope 37 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
drop(_52) -> [return: bb57, unwind: bb39]; // bb56[13]: scope 35 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
}
bb57: {
StorageDead(_52); // bb57[0]: scope 35 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
drop(_48) -> [return: bb58, unwind: bb35]; // bb57[1]: scope 33 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
}
bb58: {
StorageDead(_48); // bb58[0]: scope 33 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
drop(_45) -> [return: bb59, unwind: bb29]; // bb58[1]: scope 31 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
}
bb59: {
StorageDead(_45); // bb59[0]: scope 31 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
StorageDead(_44); // bb59[1]: scope 29 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
EndRegion(); // bb59[2]: scope 0 at src/test/compile-fail/lint-unused-mut-variables.rs:22:11: 127:2
StorageDead(_35); // bb59[3]: scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
drop(_37) -> [return: bb60, unwind: bb23]; // bb59[4]: scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
}
bb60: {
StorageDead(_37); // bb60[0]: scope 27 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
EndRegion(); // bb60[1]: scope 0 at src/test/compile-fail/lint-unused-mut-variables.rs:22:11: 127:2
StorageDead(_30); // bb60[2]: scope 25 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
EndRegion(); // bb60[3]: scope 0 at src/test/compile-fail/lint-unused-mut-variables.rs:22:11: 127:2
StorageDead(_28); // bb60[4]: scope 23 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
StorageDead(_29); // bb60[5]: scope 23 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
EndRegion(); // bb60[6]: scope 0 at src/test/compile-fail/lint-unused-mut-variables.rs:22:11: 127:2
StorageDead(_26); // bb60[7]: scope 21 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
StorageDead(_25); // bb60[8]: scope 19 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
EndRegion(); // bb60[9]: scope 0 at src/test/compile-fail/lint-unused-mut-variables.rs:22:11: 127:2
StorageDead(_23); // bb60[10]: scope 17 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
StorageDead(_24); // bb60[11]: scope 17 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
StorageDead(_22); // bb60[12]: scope 13 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
StorageDead(_12); // bb60[13]: scope 11 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
StorageDead(_11); // bb60[14]: scope 9 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
StorageDead(_9); // bb60[15]: scope 7 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
StorageDead(_8); // bb60[16]: scope 7 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
drop(_4) -> [return: bb61, unwind: bb1]; // bb60[17]: scope 5 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
}
bb61: {
StorageDead(_4); // bb61[0]: scope 5 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
StorageDead(_3); // bb61[1]: scope 3 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
StorageDead(_2); // bb61[2]: scope 1 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
StorageDead(_1); // bb61[3]: scope 0 at src/test/compile-fail/lint-unused-mut-variables.rs:127:1: 127:2
return; // bb61[4]: scope 0 at src/test/compile-fail/lint-unused-mut-variables.rs:127:2: 127:2
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment