Skip to content

update Miri #83257

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Mar 18, 2021
Merged

update Miri #83257

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
update Miri
  • Loading branch information
@RalfJung
RalfJung committed Mar 18, 2021
commit 1624fd56e19dd9bc1a03044146ca9245d2d29a86
2 changes: 1 addition & 1 deletion src/tools/miri
Open in desktop
Submodule miri updated 17 files
+1 −1 rust-version
+2 −0 src/eval.rs
+12 −2 src/helpers.rs
+1 −0 src/machine.rs
+8 −1 src/shims/panic.rs
+63 −4 src/shims/posix/foreign_items.rs
+19 −1 src/shims/posix/linux/foreign_items.rs
+22 −1 src/shims/posix/macos/foreign_items.rs
+2 −0 src/shims/posix/thread.rs
+5 −1 src/shims/tls.rs
+39 −2 src/shims/windows/foreign_items.rs
+26 −0 tests/compile-fail/concurrency/too_few_args.rs
+26 −0 tests/compile-fail/concurrency/too_many_args.rs
+4 −1 tests/compile-fail/concurrency/unwind_top_of_stack.rs
+16 −0 tests/compile-fail/panic/bad_unwind.rs
+11 −0 tests/compile-fail/panic/unwind_panic_abort.rs
+9 −0 tests/compile-fail/unsupported_foreign_function.rs