diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2023-09-17 09:35:06 +0000 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2023-10-21 16:26:05 +0000 |
| commit | 8c1b039d482149f643a88c6d7af526b18f56dd8f (patch) | |
| tree | 92c781f404a4632691b9b226be17f833c0b6cb44 /tests/mir-opt/dataflow-const-prop/inherit_overflow.main.DataflowConstProp.panic-unwind.diff | |
| parent | 31d101093c134e69a31ba58893e56647a5831299 (diff) | |
| download | rust-8c1b039d482149f643a88c6d7af526b18f56dd8f.tar.gz rust-8c1b039d482149f643a88c6d7af526b18f56dd8f.zip | |
Use a ConstValue instead.
Diffstat (limited to 'tests/mir-opt/dataflow-const-prop/inherit_overflow.main.DataflowConstProp.panic-unwind.diff')
| -rw-r--r-- | tests/mir-opt/dataflow-const-prop/inherit_overflow.main.DataflowConstProp.panic-unwind.diff | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tests/mir-opt/dataflow-const-prop/inherit_overflow.main.DataflowConstProp.panic-unwind.diff b/tests/mir-opt/dataflow-const-prop/inherit_overflow.main.DataflowConstProp.panic-unwind.diff index e2e799650aa..e99ac782a2f 100644 --- a/tests/mir-opt/dataflow-const-prop/inherit_overflow.main.DataflowConstProp.panic-unwind.diff +++ b/tests/mir-opt/dataflow-const-prop/inherit_overflow.main.DataflowConstProp.panic-unwind.diff @@ -23,7 +23,7 @@ StorageLive(_4); - _4 = CheckedAdd(_2, _3); - assert(!move (_4.1: bool), "attempt to compute `{} + {}`, which would overflow", _2, _3) -> [success: bb1, unwind continue]; -+ _4 = const (0, true); ++ _4 = const (0_u8, true); + assert(!const true, "attempt to compute `{} + {}`, which would overflow", const u8::MAX, const 1_u8) -> [success: bb1, unwind continue]; } @@ -37,5 +37,9 @@ _0 = const (); return; } ++ } ++ ++ ALLOC0 (size: 2, align: 1) { ++ 00 01 │ .. } |