bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Fix miri tests.

Browse source
This commit is contained in:
Markus Reiter 2024-03-02 18:37:17 +01:00
parent 85dfb479df
commit b5c11d1e38
No known key found for this signature in database
GPG key ID: 245293B51702655B
2 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/tools/miri/tests/fail/validity/cast_fn_ptr_invalid_callee_ret.stderr
View file

@ -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 --> $DIR/cast_fn_ptr_invalid_callee_ret.rs:LL:CC
| |
LL | f(); 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: 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 = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information

4
src/tools/miri/tests/fail/validity/cast_fn_ptr_invalid_caller_arg.stderr
View file

@ -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 --> $DIR/cast_fn_ptr_invalid_caller_arg.rs:LL:CC
| |
LL | Call(_res = f(*ptr), ReturnTo(retblock), UnwindContinue()) 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: 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 = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information