bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Fix miri tests

Browse source
This commit is contained in:
Esteban Küber 2024-12-12 23:56:39 +00:00
parent 49a22a4245
commit ad82d9f698
11 changed files with 1 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/tools/miri/tests/fail-dep/concurrency/windows_join_main.stderr
View file

@ -24,8 +24,7 @@ note: inside `main`
LL | / thread::spawn(|| {
LL | | unsafe {
LL | | assert_eq!(WaitForSingleObject(MAIN_THREAD, INFINITE), WAIT_OBJECT_0);
LL | | }
LL | | })
... |
LL | | .join()
| |___________^

1
src/tools/miri/tests/fail/function_calls/arg_inplace_mutate.stack.stderr
View file

@ -14,7 +14,6 @@ LL | | let _unit: ();
LL | | {
LL | | let non_copy = S(42);
... |
LL | | }
LL | | }
| |_____^
help: <TAG> is this argument

1
src/tools/miri/tests/fail/function_calls/arg_inplace_mutate.tree.stderr
View file

@ -16,7 +16,6 @@ LL | | let _unit: ();
LL | | {
LL | | let non_copy = S(42);
... |
LL | | }
LL | | }
| |_____^
help: the protected tag <TAG> was created here, in the initial state Reserved

1
src/tools/miri/tests/fail/function_calls/arg_inplace_observe_during.stack.stderr
View file

@ -14,7 +14,6 @@ LL | | let _unit: ();
LL | | {
LL | | let non_copy = S(42);
... |
LL | |
LL | | }
| |_____^
help: <TAG> is this argument

1
src/tools/miri/tests/fail/function_calls/arg_inplace_observe_during.tree.stderr
View file

@ -16,7 +16,6 @@ LL | | let _unit: ();
LL | | {
LL | | let non_copy = S(42);
... |
LL | |
LL | | }
| |_____^
help: the protected tag <TAG> was created here, in the initial state Reserved

1
src/tools/miri/tests/fail/function_calls/return_pointer_aliasing_read.stack.stderr
View file

@ -14,7 +14,6 @@ LL | | {
LL | | let x = 0;
LL | | let ptr = &raw mut x;
... |
LL | | }
LL | | }
| |_____^
help: <TAG> is this argument

1
src/tools/miri/tests/fail/function_calls/return_pointer_aliasing_read.tree.stderr
View file

@ -16,7 +16,6 @@ LL | | {
LL | | let x = 0;
LL | | let ptr = &raw mut x;
... |
LL | | }
LL | | }
| |_____^
help: the protected tag <TAG> was created here, in the initial state Reserved

1
src/tools/miri/tests/fail/function_calls/return_pointer_aliasing_write.stack.stderr
View file

@ -14,7 +14,6 @@ LL | | {
LL | | let _x = 0;
LL | | let ptr = &raw mut _x;
... |
LL | | }
LL | | }
| |_____^
help: <TAG> is this argument

1
src/tools/miri/tests/fail/function_calls/return_pointer_aliasing_write.tree.stderr
View file

@ -16,7 +16,6 @@ LL | | {
LL | | let _x = 0;
LL | | let ptr = &raw mut _x;
... |
LL | | }
LL | | }
| |_____^
help: the protected tag <TAG> was created here, in the initial state Reserved

1
src/tools/miri/tests/fail/function_calls/return_pointer_aliasing_write_tail_call.stack.stderr
View file

@ -14,7 +14,6 @@ LL | | {
LL | | let _x = 0;
LL | | let ptr = &raw mut _x;
... |
LL | | }
LL | | }
| |_____^
help: <TAG> is this argument

1
src/tools/miri/tests/fail/function_calls/return_pointer_aliasing_write_tail_call.tree.stderr
View file

@ -16,7 +16,6 @@ LL | | {
LL | | let _x = 0;
LL | | let ptr = &raw mut _x;
... |
LL | | }
LL | | }
| |_____^
help: the protected tag <TAG> was created here, in the initial state Reserved