Skip to content

Commit

Permalink
Auto merge of rust-lang#86139 - hyd-dev:miri, r=RalfJung
Browse files Browse the repository at this point in the history 
Update Miri

Fixes rust-lang#86133.

r? `@RalfJung`
  • Loading branch information
@bors
bors committed Jun 8, 2021
2 parents a50d721 + 1804964 commit ed597e7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/miri
Submodule miri updated 54 files
+4 −0 README.md
+1 −1 rust-version
+73 −10 src/bin/miri.rs
+43 −21 src/diagnostics.rs
+3 −0 src/eval.rs
+21 −14 src/helpers.rs
+2 −0 src/lib.rs
+14 −1 src/machine.rs
+148 −68 src/shims/foreign_items.rs
+1 −2 src/shims/posix/dlsym.rs
+70 −69 src/shims/posix/foreign_items.rs
+22 −23 src/shims/posix/linux/foreign_items.rs
+25 −24 src/shims/posix/macos/foreign_items.rs
+1 −2 src/shims/windows/dlsym.rs
+51 −60 src/shims/windows/foreign_items.rs
+12 −0 test-cargo-miri/Cargo.lock
+2 −1 test-cargo-miri/Cargo.toml
+5 −0 test-cargo-miri/exported-symbol-dep/Cargo.toml
+4 −0 test-cargo-miri/exported-symbol-dep/src/lib.rs
+11 −0 test-cargo-miri/exported-symbol/Cargo.toml
+1 −0 test-cargo-miri/exported-symbol/src/lib.rs
+1 −0 test-cargo-miri/src/lib.rs
+16 −0 test-cargo-miri/src/main.rs
+3 −2 test-cargo-miri/test.bin-target.stdout.ref
+3 −3 test-cargo-miri/test.cross-target.stdout.ref
+5 −5 test-cargo-miri/test.default.stdout.ref
+1 −1 test-cargo-miri/test.filter.cross-target.stdout.ref
+1 −1 test-cargo-miri/test.filter.stdout.ref
+2 −2 test-cargo-miri/test.test-target.stdout.ref
+2 −4 tests/compile-fail/concurrency/unwind_top_of_stack.rs
+0 −0 tests/compile-fail/function_calls/check_arg_abi.rs
+0 −0 tests/compile-fail/function_calls/check_arg_count_too_few_args.rs
+0 −0 tests/compile-fail/function_calls/check_arg_count_too_many_args.rs
+17 −0 tests/compile-fail/function_calls/check_callback_abi.rs
+29 −0 tests/compile-fail/function_calls/exported_symbol_abi_mismatch.rs
+15 −0 tests/compile-fail/function_calls/exported_symbol_bad_unwind1.rs
+19 −0 tests/compile-fail/function_calls/exported_symbol_bad_unwind2.rs
+15 −0 tests/compile-fail/function_calls/exported_symbol_bad_unwind3.rs
+15 −0 tests/compile-fail/function_calls/exported_symbol_clashing.rs
+9 −0 tests/compile-fail/function_calls/exported_symbol_wrong_arguments.rs
+9 −0 tests/compile-fail/function_calls/exported_symbol_wrong_type.rs
+10 −0 tests/compile-fail/panic/bad_miri_start_panic.rs
+13 −0 tests/compile-fail/unsupported_signal.rs
+5 −0 tests/run-pass/extern_crate_std_in_main.rs
+24 −0 tests/run-pass/function_calls/disable_abi_check.rs
+73 −0 tests/run-pass/function_calls/exported_symbol.rs
+49 −0 tests/run-pass/function_calls/exported_symbol_good_unwind.rs
+5 −0 tests/run-pass/function_calls/exported_symbol_good_unwind.stderr
+15 −0 tests/run-pass/function_calls/exported_symbol_unwind_allowed.rs
+2 −0 tests/run-pass/function_calls/exported_symbol_unwind_allowed.stderr
+1 −1 tests/run-pass/panic/catch_panic.stderr
+5 −0 tests/run-pass/rename_std.rs
+65 −0 tests/run-pass/slices.rs
+29 −0 tests/run-pass/strings.rs

0 comments on commit ed597e7

Please sign in to comment.