diff options
| author | sfzhu93 <zhushuofei@gmail.com> | 2024-01-22 17:34:49 -0800 |
|---|---|---|
| committer | sfzhu93 <zhushuofei@gmail.com> | 2024-01-22 17:34:49 -0800 |
| commit | 65b10839d6cc033d65831666565ffda5077793f8 (patch) | |
| tree | 82b980f7da8cebd7cfde6dd93a14efd3c4cb4ece | |
| parent | 7ad307dc9d014fb8d06e42d495c88328455510c1 (diff) | |
| download | rust-65b10839d6cc033d65831666565ffda5077793f8.tar.gz rust-65b10839d6cc033d65831666565ffda5077793f8.zip | |
update enum.rs
| -rw-r--r-- | tests/mir-opt/dataflow-const-prop/enum.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tests/mir-opt/dataflow-const-prop/enum.rs b/tests/mir-opt/dataflow-const-prop/enum.rs index 86288020bab..7ad64d05be4 100644 --- a/tests/mir-opt/dataflow-const-prop/enum.rs +++ b/tests/mir-opt/dataflow-const-prop/enum.rs @@ -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 }; |