FileCheck issue_67019. · rust-lang/rust@8e9b912 (original) (raw)

3 files changed

lines changed

Original file line number Diff line number Diff line change
@@ -8,6 +8,7 @@
8 8 let mut _3: (u8, u8);
9 9
10 10 bb0: {
11 + StorageLive(_1);
11 12 StorageLive(_2);
12 13 StorageLive(_3);
13 14 - _3 = (const 1_u8, const 2_u8);
@@ -21,6 +22,8 @@
21 22
22 23 bb1: {
23 24 StorageDead(_2);
25 + StorageDead(_1);
26 + _0 = const ();
24 27 return;
25 28 }
26 29 + }
Original file line number Diff line number Diff line change
@@ -8,6 +8,7 @@
8 8 let mut _3: (u8, u8);
9 9
10 10 bb0: {
11 + StorageLive(_1);
11 12 StorageLive(_2);
12 13 StorageLive(_3);
13 14 - _3 = (const 1_u8, const 2_u8);
@@ -21,6 +22,8 @@
21 22
22 23 bb1: {
23 24 StorageDead(_2);
25 + StorageDead(_1);
26 + _0 = const ();
24 27 return;
25 28 }
26 29 + }
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
1 -// skip-filecheck
2 1 // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
3 2 // unit-test: ConstProp
4 -// compile-flags: -Z mir-opt-level=3
5 3
6 4 // This used to ICE in const-prop
7 5
@@ -11,5 +9,7 @@ fn test(this: ((u8, u8),)) {
11 9
12 10 // EMIT_MIR issue_67019.main.ConstProp.diff
13 11 fn main() {
12 +// CHECK-LABEL: fn main(
13 +// CHECK: = test(const ((1_u8, 2_u8),))
14 14 test(((1, 2),));
15 15 }