]>
Commit | Line | Data |
---|---|---|
3dfed10e XL |
1 | - // MIR for `main` before SimplifyArmIdentity |
2 | + // MIR for `main` after SimplifyArmIdentity | |
3 | ||
4 | fn main() -> () { | |
5 | let mut _0: (); // return place in scope 0 at $DIR/issue-73223.rs:1:11: 1:11 | |
6 | let _1: i32; // in scope 0 at $DIR/issue-73223.rs:2:9: 2:14 | |
7 | let mut _2: std::option::Option<i32>; // in scope 0 at $DIR/issue-73223.rs:2:23: 2:30 | |
8 | let mut _3: isize; // in scope 0 at $DIR/issue-73223.rs:3:9: 3:16 | |
9 | let _4: i32; // in scope 0 at $DIR/issue-73223.rs:3:14: 3:15 | |
10 | let mut _5: !; // in scope 0 at $DIR/issue-73223.rs:4:17: 4:23 | |
11 | let mut _7: i32; // in scope 0 at $DIR/issue-73223.rs:7:22: 7:27 | |
12 | let _8: (); // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
13 | let mut _9: (&i32, &i32); // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
14 | let mut _10: &i32; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
15 | let mut _11: &i32; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
16 | let _12: i32; // in scope 0 at $DIR/issue-73223.rs:8:23: 8:24 | |
17 | let mut _15: bool; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
18 | let mut _16: bool; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
19 | let mut _17: i32; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
20 | let mut _18: i32; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
5869c6ff XL |
21 | let mut _19: !; // in scope 0 at $SRC_DIR/core/src/panic.rs:LL:COL |
22 | let mut _20: std::fmt::Arguments; // in scope 0 at $SRC_DIR/core/src/panic.rs:LL:COL | |
fc512014 XL |
23 | let mut _21: &[&str]; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
24 | let mut _22: &[&str; 3]; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
25 | let _23: &[&str; 3]; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
26 | let _24: [&str; 3]; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
5869c6ff XL |
27 | let mut _25: &[std::fmt::ArgumentV1]; // in scope 0 at $SRC_DIR/core/src/panic.rs:LL:COL |
28 | let mut _26: &[std::fmt::ArgumentV1; 2]; // in scope 0 at $SRC_DIR/core/src/panic.rs:LL:COL | |
29 | let _27: &[std::fmt::ArgumentV1; 2]; // in scope 0 at $SRC_DIR/core/src/panic.rs:LL:COL | |
30 | let _28: [std::fmt::ArgumentV1; 2]; // in scope 0 at $SRC_DIR/core/src/panic.rs:LL:COL | |
31 | let mut _29: (&&i32, &&i32); // in scope 0 at $SRC_DIR/core/src/panic.rs:LL:COL | |
fc512014 XL |
32 | let mut _30: &&i32; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
33 | let _31: &i32; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
3dfed10e XL |
34 | let mut _32: &&i32; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
35 | let _33: &i32; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
5869c6ff | 36 | let mut _36: std::fmt::ArgumentV1; // in scope 0 at $SRC_DIR/core/src/panic.rs:LL:COL |
fc512014 XL |
37 | let mut _37: &&i32; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
38 | let mut _38: for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
5869c6ff | 39 | let mut _39: std::fmt::ArgumentV1; // in scope 0 at $SRC_DIR/core/src/panic.rs:LL:COL |
fc512014 XL |
40 | let mut _40: &&i32; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
41 | let mut _41: for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
3dfed10e XL |
42 | scope 1 { |
43 | debug split => _1; // in scope 1 at $DIR/issue-73223.rs:2:9: 2:14 | |
44 | let _6: std::option::Option<i32>; // in scope 1 at $DIR/issue-73223.rs:7:9: 7:14 | |
45 | scope 3 { | |
46 | debug _prev => _6; // in scope 3 at $DIR/issue-73223.rs:7:9: 7:14 | |
47 | let _13: &i32; // in scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
48 | let _14: &i32; // in scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
fc512014 | 49 | let mut _43: &i32; // in scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
3dfed10e XL |
50 | scope 4 { |
51 | debug left_val => _13; // in scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
52 | debug right_val => _14; // in scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
fc512014 XL |
53 | let _34: &&i32; // in scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
54 | let _35: &&i32; // in scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
55 | let mut _42: &[&str; 3]; // in scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
3dfed10e | 56 | scope 5 { |
fc512014 XL |
57 | debug arg0 => _34; // in scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
58 | debug arg1 => _35; // in scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
5869c6ff XL |
59 | scope 6 (inlined ArgumentV1::new::<&i32>) { // at $SRC_DIR/core/src/panic.rs:LL:COL |
60 | debug x => _37; // in scope 6 at $SRC_DIR/core/src/panic.rs:LL:COL | |
61 | debug f => _38; // in scope 6 at $SRC_DIR/core/src/panic.rs:LL:COL | |
62 | let mut _44: for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>; // in scope 6 at $SRC_DIR/core/src/panic.rs:LL:COL | |
63 | let mut _45: for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>; // in scope 6 at $SRC_DIR/core/src/panic.rs:LL:COL | |
64 | let mut _46: &core::fmt::Opaque; // in scope 6 at $SRC_DIR/core/src/panic.rs:LL:COL | |
65 | let mut _47: &&i32; // in scope 6 at $SRC_DIR/core/src/panic.rs:LL:COL | |
29967ef6 XL |
66 | scope 7 { |
67 | } | |
3dfed10e | 68 | } |
5869c6ff XL |
69 | scope 8 (inlined ArgumentV1::new::<&i32>) { // at $SRC_DIR/core/src/panic.rs:LL:COL |
70 | debug x => _40; // in scope 8 at $SRC_DIR/core/src/panic.rs:LL:COL | |
71 | debug f => _41; // in scope 8 at $SRC_DIR/core/src/panic.rs:LL:COL | |
72 | let mut _48: for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>; // in scope 8 at $SRC_DIR/core/src/panic.rs:LL:COL | |
73 | let mut _49: for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>; // in scope 8 at $SRC_DIR/core/src/panic.rs:LL:COL | |
74 | let mut _50: &core::fmt::Opaque; // in scope 8 at $SRC_DIR/core/src/panic.rs:LL:COL | |
75 | let mut _51: &&i32; // in scope 8 at $SRC_DIR/core/src/panic.rs:LL:COL | |
29967ef6 XL |
76 | scope 9 { |
77 | } | |
3dfed10e XL |
78 | } |
79 | } | |
5869c6ff XL |
80 | scope 10 (inlined Arguments::new_v1) { // at $SRC_DIR/core/src/panic.rs:LL:COL |
81 | debug pieces => _21; // in scope 10 at $SRC_DIR/core/src/panic.rs:LL:COL | |
82 | debug args => _25; // in scope 10 at $SRC_DIR/core/src/panic.rs:LL:COL | |
83 | let mut _52: &[&str]; // in scope 10 at $SRC_DIR/core/src/panic.rs:LL:COL | |
84 | let mut _53: std::option::Option<&[std::fmt::rt::v1::Argument]>; // in scope 10 at $SRC_DIR/core/src/panic.rs:LL:COL | |
85 | let mut _54: &[std::fmt::ArgumentV1]; // in scope 10 at $SRC_DIR/core/src/panic.rs:LL:COL | |
3dfed10e XL |
86 | } |
87 | } | |
88 | } | |
89 | } | |
90 | scope 2 { | |
91 | debug v => _4; // in scope 2 at $DIR/issue-73223.rs:3:14: 3:15 | |
92 | } | |
3dfed10e XL |
93 | |
94 | bb0: { | |
95 | StorageLive(_1); // scope 0 at $DIR/issue-73223.rs:2:9: 2:14 | |
96 | StorageLive(_2); // scope 0 at $DIR/issue-73223.rs:2:23: 2:30 | |
97 | ((_2 as Some).0: i32) = const 1_i32; // scope 0 at $DIR/issue-73223.rs:2:23: 2:30 | |
98 | discriminant(_2) = 1; // scope 0 at $DIR/issue-73223.rs:2:23: 2:30 | |
99 | _3 = const 1_isize; // scope 0 at $DIR/issue-73223.rs:3:9: 3:16 | |
100 | goto -> bb2; // scope 0 at $DIR/issue-73223.rs:3:9: 3:16 | |
101 | } | |
102 | ||
103 | bb1: { | |
104 | _0 = const (); // scope 0 at $DIR/issue-73223.rs:4:17: 4:23 | |
105 | StorageDead(_2); // scope 0 at $DIR/issue-73223.rs:5:6: 5:7 | |
106 | StorageDead(_1); // scope 0 at $DIR/issue-73223.rs:9:1: 9:2 | |
29967ef6 | 107 | return; // scope 0 at $DIR/issue-73223.rs:9:2: 9:2 |
3dfed10e XL |
108 | } |
109 | ||
110 | bb2: { | |
111 | StorageLive(_4); // scope 0 at $DIR/issue-73223.rs:3:14: 3:15 | |
112 | _4 = ((_2 as Some).0: i32); // scope 0 at $DIR/issue-73223.rs:3:14: 3:15 | |
113 | _1 = _4; // scope 2 at $DIR/issue-73223.rs:3:20: 3:21 | |
114 | StorageDead(_4); // scope 0 at $DIR/issue-73223.rs:3:20: 3:21 | |
115 | StorageDead(_2); // scope 0 at $DIR/issue-73223.rs:5:6: 5:7 | |
116 | StorageLive(_6); // scope 1 at $DIR/issue-73223.rs:7:9: 7:14 | |
117 | StorageLive(_7); // scope 1 at $DIR/issue-73223.rs:7:22: 7:27 | |
118 | _7 = _1; // scope 1 at $DIR/issue-73223.rs:7:22: 7:27 | |
119 | ((_6 as Some).0: i32) = move _7; // scope 1 at $DIR/issue-73223.rs:7:17: 7:28 | |
120 | discriminant(_6) = 1; // scope 1 at $DIR/issue-73223.rs:7:17: 7:28 | |
121 | StorageDead(_7); // scope 1 at $DIR/issue-73223.rs:7:27: 7:28 | |
122 | StorageLive(_8); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
123 | StorageLive(_9); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
124 | StorageLive(_10); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
125 | _10 = &_1; // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
126 | StorageLive(_11); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
fc512014 | 127 | _43 = const main::promoted[1]; // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
3dfed10e XL |
128 | // ty::Const |
129 | // + ty: &i32 | |
1b1a35ee | 130 | // + val: Unevaluated(WithOptConstParam { did: DefId(0:3 ~ issue_73223[317d]::main), const_param_did: None }, [], Some(promoted[1])) |
3dfed10e XL |
131 | // mir::Constant |
132 | // + span: $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
1b1a35ee | 133 | // + literal: Const { ty: &i32, val: Unevaluated(WithOptConstParam { did: DefId(0:3 ~ issue_73223[317d]::main), const_param_did: None }, [], Some(promoted[1])) } |
fc512014 | 134 | _11 = _43; // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
3dfed10e XL |
135 | (_9.0: &i32) = move _10; // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
136 | (_9.1: &i32) = move _11; // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
137 | StorageDead(_11); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
138 | StorageDead(_10); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
139 | StorageLive(_13); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
140 | _13 = (_9.0: &i32); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
141 | StorageLive(_14); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
142 | _14 = (_9.1: &i32); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
143 | StorageLive(_15); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
144 | StorageLive(_16); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
145 | StorageLive(_17); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
146 | _17 = (*_13); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
147 | StorageLive(_18); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
148 | _18 = const 1_i32; // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
149 | _16 = Eq(move _17, const 1_i32); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
150 | StorageDead(_18); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
151 | StorageDead(_17); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
152 | _15 = Not(move _16); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
153 | StorageDead(_16); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
5869c6ff | 154 | switchInt(move _15) -> [false: bb4, otherwise: bb3]; // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
3dfed10e XL |
155 | } |
156 | ||
157 | bb3: { | |
5869c6ff XL |
158 | StorageLive(_19); // scope 4 at $SRC_DIR/core/src/panic.rs:LL:COL |
159 | StorageLive(_20); // scope 4 at $SRC_DIR/core/src/panic.rs:LL:COL | |
fc512014 XL |
160 | StorageLive(_21); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
161 | StorageLive(_22); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
3dfed10e | 162 | StorageLive(_23); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
fc512014 | 163 | _42 = const main::promoted[0]; // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
3dfed10e XL |
164 | // ty::Const |
165 | // + ty: &[&str; 3] | |
1b1a35ee | 166 | // + val: Unevaluated(WithOptConstParam { did: DefId(0:3 ~ issue_73223[317d]::main), const_param_did: None }, [], Some(promoted[0])) |
3dfed10e XL |
167 | // mir::Constant |
168 | // + span: $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
1b1a35ee | 169 | // + literal: Const { ty: &[&str; 3], val: Unevaluated(WithOptConstParam { did: DefId(0:3 ~ issue_73223[317d]::main), const_param_did: None }, [], Some(promoted[0])) } |
fc512014 XL |
170 | _23 = _42; // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
171 | _22 = _23; // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
172 | _21 = move _22 as &[&str] (Pointer(Unsize)); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
173 | StorageDead(_22); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
5869c6ff XL |
174 | StorageLive(_25); // scope 4 at $SRC_DIR/core/src/panic.rs:LL:COL |
175 | StorageLive(_26); // scope 4 at $SRC_DIR/core/src/panic.rs:LL:COL | |
176 | StorageLive(_27); // scope 4 at $SRC_DIR/core/src/panic.rs:LL:COL | |
177 | StorageLive(_28); // scope 4 at $SRC_DIR/core/src/panic.rs:LL:COL | |
178 | StorageLive(_29); // scope 4 at $SRC_DIR/core/src/panic.rs:LL:COL | |
fc512014 XL |
179 | StorageLive(_30); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
180 | StorageLive(_31); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
181 | _31 = _13; // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
182 | _30 = &_31; // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
3dfed10e XL |
183 | StorageLive(_32); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
184 | StorageLive(_33); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
fc512014 | 185 | _33 = _14; // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
3dfed10e | 186 | _32 = &_33; // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
5869c6ff XL |
187 | (_29.0: &&i32) = move _30; // scope 4 at $SRC_DIR/core/src/panic.rs:LL:COL |
188 | (_29.1: &&i32) = move _32; // scope 4 at $SRC_DIR/core/src/panic.rs:LL:COL | |
189 | StorageDead(_32); // scope 4 at $SRC_DIR/core/src/panic.rs:LL:COL | |
190 | StorageDead(_30); // scope 4 at $SRC_DIR/core/src/panic.rs:LL:COL | |
3dfed10e | 191 | StorageLive(_34); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
fc512014 | 192 | _34 = (_29.0: &&i32); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
3dfed10e | 193 | StorageLive(_35); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
fc512014 | 194 | _35 = (_29.1: &&i32); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
5869c6ff | 195 | StorageLive(_36); // scope 5 at $SRC_DIR/core/src/panic.rs:LL:COL |
fc512014 XL |
196 | StorageLive(_37); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
197 | _37 = _34; // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
198 | StorageLive(_38); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
199 | _38 = <&i32 as Debug>::fmt as for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
3dfed10e XL |
200 | // mir::Constant |
201 | // + span: $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
202 | // + literal: Const { ty: for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {<&i32 as std::fmt::Debug>::fmt}, val: Value(Scalar(<ZST>)) } | |
5869c6ff XL |
203 | StorageLive(_44); // scope 7 at $SRC_DIR/core/src/panic.rs:LL:COL |
204 | StorageLive(_45); // scope 7 at $SRC_DIR/core/src/panic.rs:LL:COL | |
205 | _45 = _38; // scope 7 at $SRC_DIR/core/src/panic.rs:LL:COL | |
206 | _44 = transmute::<for<'r, 's, 't0> fn(&'r &i32, &'s mut Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>, for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>>(move _45) -> bb5; // scope 7 at $SRC_DIR/core/src/panic.rs:LL:COL | |
3dfed10e | 207 | // mir::Constant |
5869c6ff | 208 | // + span: $SRC_DIR/core/src/panic.rs:LL:COL |
3dfed10e XL |
209 | // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) -> for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {std::intrinsics::transmute::<for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>, for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>>}, val: Value(Scalar(<ZST>)) } |
210 | } | |
211 | ||
5869c6ff XL |
212 | bb4: { |
213 | _8 = const (); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
214 | StorageDead(_15); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
215 | StorageDead(_14); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
216 | StorageDead(_13); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
217 | StorageDead(_9); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
218 | StorageDead(_8); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
219 | _0 = const (); // scope 0 at $DIR/issue-73223.rs:1:11: 9:2 | |
220 | StorageDead(_6); // scope 1 at $DIR/issue-73223.rs:9:1: 9:2 | |
221 | StorageDead(_1); // scope 0 at $DIR/issue-73223.rs:9:1: 9:2 | |
222 | return; // scope 0 at $DIR/issue-73223.rs:9:2: 9:2 | |
223 | } | |
224 | ||
1b1a35ee | 225 | bb5: { |
5869c6ff XL |
226 | StorageDead(_45); // scope 7 at $SRC_DIR/core/src/panic.rs:LL:COL |
227 | StorageLive(_46); // scope 7 at $SRC_DIR/core/src/panic.rs:LL:COL | |
228 | StorageLive(_47); // scope 7 at $SRC_DIR/core/src/panic.rs:LL:COL | |
229 | _47 = _37; // scope 7 at $SRC_DIR/core/src/panic.rs:LL:COL | |
230 | _46 = transmute::<&&i32, &core::fmt::Opaque>(move _47) -> bb6; // scope 7 at $SRC_DIR/core/src/panic.rs:LL:COL | |
3dfed10e | 231 | // mir::Constant |
5869c6ff | 232 | // + span: $SRC_DIR/core/src/panic.rs:LL:COL |
3dfed10e XL |
233 | // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(&&i32) -> &core::fmt::Opaque {std::intrinsics::transmute::<&&i32, &core::fmt::Opaque>}, val: Value(Scalar(<ZST>)) } |
234 | } | |
235 | ||
1b1a35ee | 236 | bb6: { |
5869c6ff XL |
237 | StorageDead(_47); // scope 7 at $SRC_DIR/core/src/panic.rs:LL:COL |
238 | (_36.0: &core::fmt::Opaque) = move _46; // scope 7 at $SRC_DIR/core/src/panic.rs:LL:COL | |
239 | (_36.1: for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) = move _44; // scope 7 at $SRC_DIR/core/src/panic.rs:LL:COL | |
240 | StorageDead(_46); // scope 7 at $SRC_DIR/core/src/panic.rs:LL:COL | |
241 | StorageDead(_44); // scope 7 at $SRC_DIR/core/src/panic.rs:LL:COL | |
242 | StorageDead(_38); // scope 5 at $SRC_DIR/core/src/panic.rs:LL:COL | |
243 | StorageDead(_37); // scope 5 at $SRC_DIR/core/src/panic.rs:LL:COL | |
244 | StorageLive(_39); // scope 5 at $SRC_DIR/core/src/panic.rs:LL:COL | |
fc512014 XL |
245 | StorageLive(_40); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
246 | _40 = _35; // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
247 | StorageLive(_41); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
248 | _41 = <&i32 as Debug>::fmt as for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
3dfed10e XL |
249 | // mir::Constant |
250 | // + span: $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
251 | // + literal: Const { ty: for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {<&i32 as std::fmt::Debug>::fmt}, val: Value(Scalar(<ZST>)) } | |
5869c6ff XL |
252 | StorageLive(_48); // scope 9 at $SRC_DIR/core/src/panic.rs:LL:COL |
253 | StorageLive(_49); // scope 9 at $SRC_DIR/core/src/panic.rs:LL:COL | |
254 | _49 = _41; // scope 9 at $SRC_DIR/core/src/panic.rs:LL:COL | |
255 | _48 = transmute::<for<'r, 's, 't0> fn(&'r &i32, &'s mut Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>, for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>>(move _49) -> bb7; // scope 9 at $SRC_DIR/core/src/panic.rs:LL:COL | |
3dfed10e | 256 | // mir::Constant |
5869c6ff | 257 | // + span: $SRC_DIR/core/src/panic.rs:LL:COL |
3dfed10e XL |
258 | // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) -> for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {std::intrinsics::transmute::<for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>, for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>>}, val: Value(Scalar(<ZST>)) } |
259 | } | |
260 | ||
1b1a35ee | 261 | bb7: { |
5869c6ff XL |
262 | StorageDead(_49); // scope 9 at $SRC_DIR/core/src/panic.rs:LL:COL |
263 | StorageLive(_50); // scope 9 at $SRC_DIR/core/src/panic.rs:LL:COL | |
264 | StorageLive(_51); // scope 9 at $SRC_DIR/core/src/panic.rs:LL:COL | |
265 | _51 = _40; // scope 9 at $SRC_DIR/core/src/panic.rs:LL:COL | |
266 | _50 = transmute::<&&i32, &core::fmt::Opaque>(move _51) -> bb8; // scope 9 at $SRC_DIR/core/src/panic.rs:LL:COL | |
3dfed10e | 267 | // mir::Constant |
5869c6ff | 268 | // + span: $SRC_DIR/core/src/panic.rs:LL:COL |
3dfed10e XL |
269 | // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(&&i32) -> &core::fmt::Opaque {std::intrinsics::transmute::<&&i32, &core::fmt::Opaque>}, val: Value(Scalar(<ZST>)) } |
270 | } | |
271 | ||
1b1a35ee | 272 | bb8: { |
5869c6ff XL |
273 | StorageDead(_51); // scope 9 at $SRC_DIR/core/src/panic.rs:LL:COL |
274 | (_39.0: &core::fmt::Opaque) = move _50; // scope 9 at $SRC_DIR/core/src/panic.rs:LL:COL | |
275 | (_39.1: for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) = move _48; // scope 9 at $SRC_DIR/core/src/panic.rs:LL:COL | |
276 | StorageDead(_50); // scope 9 at $SRC_DIR/core/src/panic.rs:LL:COL | |
277 | StorageDead(_48); // scope 9 at $SRC_DIR/core/src/panic.rs:LL:COL | |
278 | StorageDead(_41); // scope 5 at $SRC_DIR/core/src/panic.rs:LL:COL | |
279 | StorageDead(_40); // scope 5 at $SRC_DIR/core/src/panic.rs:LL:COL | |
280 | _28 = [move _36, move _39]; // scope 5 at $SRC_DIR/core/src/panic.rs:LL:COL | |
281 | StorageDead(_39); // scope 5 at $SRC_DIR/core/src/panic.rs:LL:COL | |
282 | StorageDead(_36); // scope 5 at $SRC_DIR/core/src/panic.rs:LL:COL | |
283 | StorageDead(_35); // scope 4 at $SRC_DIR/core/src/panic.rs:LL:COL | |
284 | StorageDead(_34); // scope 4 at $SRC_DIR/core/src/panic.rs:LL:COL | |
285 | _27 = &_28; // scope 4 at $SRC_DIR/core/src/panic.rs:LL:COL | |
286 | _26 = _27; // scope 4 at $SRC_DIR/core/src/panic.rs:LL:COL | |
287 | _25 = move _26 as &[std::fmt::ArgumentV1] (Pointer(Unsize)); // scope 4 at $SRC_DIR/core/src/panic.rs:LL:COL | |
288 | StorageDead(_26); // scope 4 at $SRC_DIR/core/src/panic.rs:LL:COL | |
289 | StorageLive(_52); // scope 10 at $SRC_DIR/core/src/panic.rs:LL:COL | |
290 | _52 = _21; // scope 10 at $SRC_DIR/core/src/panic.rs:LL:COL | |
291 | StorageLive(_53); // scope 10 at $SRC_DIR/core/src/panic.rs:LL:COL | |
292 | discriminant(_53) = 0; // scope 10 at $SRC_DIR/core/src/panic.rs:LL:COL | |
293 | StorageLive(_54); // scope 10 at $SRC_DIR/core/src/panic.rs:LL:COL | |
294 | _54 = _25; // scope 10 at $SRC_DIR/core/src/panic.rs:LL:COL | |
295 | (_20.0: &[&str]) = move _52; // scope 10 at $SRC_DIR/core/src/panic.rs:LL:COL | |
296 | (_20.1: std::option::Option<&[std::fmt::rt::v1::Argument]>) = move _53; // scope 10 at $SRC_DIR/core/src/panic.rs:LL:COL | |
297 | (_20.2: &[std::fmt::ArgumentV1]) = move _54; // scope 10 at $SRC_DIR/core/src/panic.rs:LL:COL | |
298 | StorageDead(_54); // scope 10 at $SRC_DIR/core/src/panic.rs:LL:COL | |
299 | StorageDead(_53); // scope 10 at $SRC_DIR/core/src/panic.rs:LL:COL | |
300 | StorageDead(_52); // scope 10 at $SRC_DIR/core/src/panic.rs:LL:COL | |
301 | StorageDead(_25); // scope 4 at $SRC_DIR/core/src/panic.rs:LL:COL | |
302 | StorageDead(_21); // scope 4 at $SRC_DIR/core/src/panic.rs:LL:COL | |
303 | core::panicking::panic_fmt(move _20); // scope 4 at $SRC_DIR/core/src/panic.rs:LL:COL | |
3dfed10e | 304 | // mir::Constant |
5869c6ff | 305 | // + span: $SRC_DIR/core/src/panic.rs:LL:COL |
fc512014 | 306 | // + literal: Const { ty: for<'r> fn(std::fmt::Arguments<'r>) -> ! {core::panicking::panic_fmt}, val: Value(Scalar(<ZST>)) } |
3dfed10e XL |
307 | } |
308 | } | |
309 |