Skip to content

Commit

Permalink
Auto merge of #71917 - RalfJung:miri, r=RalfJung
Browse files Browse the repository at this point in the history 
update miri

In particular this includes the change to yield on `spin_loop_hint`, which is needed for #71737.
r? @ghost Cc @rust-lang/miri

Fixes #71963
  • Loading branch information
@bors
bors committed May 8, 2020
2 parents 29630ce + e583a5c commit a51e004
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/miri
Submodule miri updated 29 files
+1 −0 README.md
+1 −1 rust-version
+1 −1 src/diagnostics.rs
+1 −1 src/eval.rs
+10 −1 src/helpers.rs
+3 −0 src/lib.rs
+4 −2 src/shims/dlsym.rs
+59 −37 src/shims/foreign_items.rs
+127 −73 src/shims/foreign_items/posix.rs
+43 −24 src/shims/foreign_items/posix/linux.rs
+40 −14 src/shims/foreign_items/posix/macos.rs
+94 −43 src/shims/foreign_items/windows.rs
+21 −13 src/shims/fs.rs
+90 −56 src/shims/intrinsics.rs
+3 −1 src/shims/mod.rs
+7 −4 src/shims/panic.rs
+14 −0 src/shims/thread.rs
+11 −11 src/thread.rs
+12 −0 tests/compile-fail/check_arg_count_too_few_args.rs
+12 −0 tests/compile-fail/check_arg_count_too_many_args.rs
+1 −1 tests/compile-fail/issue-miri-1112.rs
+1 −1 tests/compile-fail/validity/dangling_ref1.rs
+1 −1 tests/compile-fail/validity/invalid_wide_raw.rs
+21 −0 tests/run-pass/concurrency/simple.rs
+2 −0 tests/run-pass/concurrency/simple.stderr
+112 −1 tests/run-pass/float.rs
+3 −1 tests/run-pass/sync_singlethread.rs
+1 −0 tests/run-pass/transmute_fat2.rs
+1 −1 tests/run-pass/transmute_fat2.stderr

0 comments on commit a51e004

Please sign in to comment.