diff options
| author | Jannis Christopher Köhl <mail@koehl.dev> | 2022-10-23 14:49:38 +0200 |
|---|---|---|
| committer | Jannis Christopher Köhl <mail@koehl.dev> | 2022-11-07 10:35:24 +0100 |
| commit | d86acdd72a823fa496b3501c9d656beedf9f124f (patch) | |
| tree | a60fba0f4a8258aeb010aa9d555138d19db1de9f /src/test/mir-opt/dataflow-const-prop/checked.main.DataflowConstProp.diff | |
| parent | 5b7b309c60465ec948b42332673ac3860f2d2482 (diff) | |
| download | rust-d86acdd72a823fa496b3501c9d656beedf9f124f.tar.gz rust-d86acdd72a823fa496b3501c9d656beedf9f124f.zip | |
Prevent propagation of overflow if overflow occured
Diffstat (limited to 'src/test/mir-opt/dataflow-const-prop/checked.main.DataflowConstProp.diff')
| -rw-r--r-- | src/test/mir-opt/dataflow-const-prop/checked.main.DataflowConstProp.diff | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/mir-opt/dataflow-const-prop/checked.main.DataflowConstProp.diff b/src/test/mir-opt/dataflow-const-prop/checked.main.DataflowConstProp.diff index 944afed8f46..a4ebd0c8c18 100644 --- a/src/test/mir-opt/dataflow-const-prop/checked.main.DataflowConstProp.diff +++ b/src/test/mir-opt/dataflow-const-prop/checked.main.DataflowConstProp.diff @@ -61,7 +61,7 @@ - assert(!move (_10.1: bool), "attempt to compute `{} + {}`, which would overflow", move _9, const 1_i32) -> bb2; // scope 4 at $DIR/checked.rs:+6:13: +6:18 + _9 = const i32::MAX; // scope 4 at $DIR/checked.rs:+6:13: +6:14 + _10 = CheckedAdd(const i32::MAX, const 1_i32); // scope 4 at $DIR/checked.rs:+6:13: +6:18 -+ assert(!const true, "attempt to compute `{} + {}`, which would overflow", const i32::MAX, const 1_i32) -> bb2; // scope 4 at $DIR/checked.rs:+6:13: +6:18 ++ assert(!move (_10.1: bool), "attempt to compute `{} + {}`, which would overflow", const i32::MAX, const 1_i32) -> bb2; // scope 4 at $DIR/checked.rs:+6:13: +6:18 } bb2: { |