diff options
| author | sfzhu93 <zhushuofei@gmail.com> | 2024-01-08 16:58:58 -0800 |
|---|---|---|
| committer | sfzhu93 <zhushuofei@gmail.com> | 2024-01-08 17:01:13 -0800 |
| commit | 24aefa0e5d134526c8e29c5603dcb4d42637968a (patch) | |
| tree | e9a095ec6f60aaf94d6f8846baaaf6b0a0c1d692 /tests/mir-opt/dataflow-const-prop/inherit_overflow.rs | |
| parent | 33e5d851a923ab46544d2cda70f80a59e4c1398c (diff) | |
| download | rust-24aefa0e5d134526c8e29c5603dcb4d42637968a.tar.gz rust-24aefa0e5d134526c8e29c5603dcb4d42637968a.zip | |
Add FileCheck for if.rs, inherit_overflow.rs, issue_81605.rs
Diffstat (limited to 'tests/mir-opt/dataflow-const-prop/inherit_overflow.rs')
| -rw-r--r-- | tests/mir-opt/dataflow-const-prop/inherit_overflow.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tests/mir-opt/dataflow-const-prop/inherit_overflow.rs b/tests/mir-opt/dataflow-const-prop/inherit_overflow.rs index 664cbcb2c25..0a2774c7820 100644 --- a/tests/mir-opt/dataflow-const-prop/inherit_overflow.rs +++ b/tests/mir-opt/dataflow-const-prop/inherit_overflow.rs @@ -1,11 +1,14 @@ -// skip-filecheck // EMIT_MIR_FOR_EACH_PANIC_STRATEGY // unit-test: DataflowConstProp // compile-flags: -Zmir-enable-passes=+Inline // EMIT_MIR inherit_overflow.main.DataflowConstProp.diff +// CHECK-LABEL: fn main( fn main() { // After inlining, this will contain a `CheckedBinaryOp`. // Propagating the overflow is ok as codegen will just skip emitting the panic. + + // CHECK: {{_.*}} = const (0_u8, true); + // CHECK-LABEL: assert(!const true, let _ = <u8 as std::ops::Add>::add(255, 1); } |