mathieu/os-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

update enum.rs

Browse source
This commit is contained in:
sfzhu93 2024-01-22 17:34:49 -08:00
parent 7ad307dc9d
commit 65b10839d6
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tests/mir-opt/dataflow-const-prop/enum.rs
View file

@ -129,9 +129,7 @@ fn multiple(x: bool, i: u8) {
// The dataflow state must have:
// discriminant(e) => Top
// (e as Some).0 => Top
// CHECK-NOT: [[x2]] = const 5
// CHECK: [[x2]] = const 0_u8;
// CHECK-NOT: [[x2]] = const 5
// CHECK: [[some:_.*]] = (({{_.*}} as Some).0: u8)
// CHECK: [[x2]] = [[some]];
let x2 = match e { Some(i) => i, None => 0 };