diff options
| author | Markus Reiter <me@reitermark.us> | 2024-03-02 18:37:17 +0100 |
|---|---|---|
| committer | Markus Reiter <me@reitermark.us> | 2024-03-10 13:18:08 +0100 |
| commit | b5c11d1e381fa855b03a5ea2d3a6aa74f8972fea (patch) | |
| tree | 772ffa0d9d37f5064895b5354bf700754494c703 /src/tools | |
| parent | 85dfb479df1eba4efe2aa8823de169648cc5b439 (diff) | |
| download | rust-b5c11d1e381fa855b03a5ea2d3a6aa74f8972fea.tar.gz rust-b5c11d1e381fa855b03a5ea2d3a6aa74f8972fea.zip | |
Fix `miri` tests.
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/miri/tests/fail/validity/cast_fn_ptr_invalid_callee_ret.stderr | 4 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail/validity/cast_fn_ptr_invalid_caller_arg.stderr | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/tools/miri/tests/fail/validity/cast_fn_ptr_invalid_callee_ret.stderr b/src/tools/miri/tests/fail/validity/cast_fn_ptr_invalid_callee_ret.stderr index 7d481940ace..35de4535222 100644 --- a/src/tools/miri/tests/fail/validity/cast_fn_ptr_invalid_callee_ret.stderr +++ b/src/tools/miri/tests/fail/validity/cast_fn_ptr_invalid_callee_ret.stderr @@ -1,8 +1,8 @@ -error: Undefined Behavior: constructing invalid value: encountered 0, but expected something greater or equal to 1 +error: Undefined Behavior: constructing invalid value at .0: encountered 0, but expected something greater or equal to 1 --> $DIR/cast_fn_ptr_invalid_callee_ret.rs:LL:CC | LL | f(); - | ^^^ constructing invalid value: encountered 0, but expected something greater or equal to 1 + | ^^^ constructing invalid value at .0: encountered 0, but expected something greater or equal to 1 | = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information diff --git a/src/tools/miri/tests/fail/validity/cast_fn_ptr_invalid_caller_arg.stderr b/src/tools/miri/tests/fail/validity/cast_fn_ptr_invalid_caller_arg.stderr index b1a2bd2c79a..81d775f6d7f 100644 --- a/src/tools/miri/tests/fail/validity/cast_fn_ptr_invalid_caller_arg.stderr +++ b/src/tools/miri/tests/fail/validity/cast_fn_ptr_invalid_caller_arg.stderr @@ -1,8 +1,8 @@ -error: Undefined Behavior: constructing invalid value: encountered 0, but expected something greater or equal to 1 +error: Undefined Behavior: constructing invalid value at .0: encountered 0, but expected something greater or equal to 1 --> $DIR/cast_fn_ptr_invalid_caller_arg.rs:LL:CC | LL | Call(_res = f(*ptr), ReturnTo(retblock), UnwindContinue()) - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ constructing invalid value: encountered 0, but expected something greater or equal to 1 + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ constructing invalid value at .0: encountered 0, but expected something greater or equal to 1 | = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information |