Commit ed597e7
committed
Auto merge of rust-lang#86139 - hyd-dev:miri, r=RalfJung
Update Miri
Fixes rust-lang#86133.
r? `@RalfJung`1 file changed
Lines changed: 1 addition & 1 deletion
- README.md+4
- rust-version+1-1
- src/bin/miri.rs+73-10
- src/diagnostics.rs+43-21
- src/eval.rs+3
- src/helpers.rs+21-14
- src/lib.rs+2
- src/machine.rs+14-1
- src/shims/foreign_items.rs+148-68
- src/shims/posix/dlsym.rs+1-2
- src/shims/posix/foreign_items.rs+70-69
- src/shims/posix/linux/foreign_items.rs+22-23
- src/shims/posix/macos/foreign_items.rs+25-24
- src/shims/windows/dlsym.rs+1-2
- src/shims/windows/foreign_items.rs+51-60
- test-cargo-miri/Cargo.lock+12
- test-cargo-miri/Cargo.toml+2-1
- test-cargo-miri/exported-symbol-dep/Cargo.toml+5
- test-cargo-miri/exported-symbol-dep/src/lib.rs+4
- test-cargo-miri/exported-symbol/Cargo.toml+11
- test-cargo-miri/exported-symbol/src/lib.rs+1
- test-cargo-miri/src/lib.rs+1
- test-cargo-miri/src/main.rs+16
- test-cargo-miri/test.bin-target.stdout.ref+3-2
- test-cargo-miri/test.cross-target.stdout.ref+3-3
- test-cargo-miri/test.default.stdout.ref+5-5
- test-cargo-miri/test.filter.cross-target.stdout.ref+1-1
- test-cargo-miri/test.filter.stdout.ref+1-1
- test-cargo-miri/test.test-target.stdout.ref+2-2
- tests/compile-fail/concurrency/unwind_top_of_stack.rs+2-4
- tests/compile-fail/function_calls/check_arg_abi.rs
- tests/compile-fail/function_calls/check_arg_count_too_few_args.rs
- tests/compile-fail/function_calls/check_arg_count_too_many_args.rs
- tests/compile-fail/function_calls/check_callback_abi.rs+17
- tests/compile-fail/function_calls/exported_symbol_abi_mismatch.rs+29
- tests/compile-fail/function_calls/exported_symbol_bad_unwind1.rs+15
- tests/compile-fail/function_calls/exported_symbol_bad_unwind2.rs+19
- tests/compile-fail/function_calls/exported_symbol_bad_unwind3.rs+15
- tests/compile-fail/function_calls/exported_symbol_clashing.rs+15
- tests/compile-fail/function_calls/exported_symbol_wrong_arguments.rs+9
- tests/compile-fail/function_calls/exported_symbol_wrong_type.rs+9
- tests/compile-fail/panic/bad_miri_start_panic.rs+10
- tests/compile-fail/unsupported_signal.rs+13
- tests/run-pass/extern_crate_std_in_main.rs+5
- tests/run-pass/function_calls/disable_abi_check.rs+24
- tests/run-pass/function_calls/exported_symbol.rs+73
- tests/run-pass/function_calls/exported_symbol_good_unwind.rs+49
- tests/run-pass/function_calls/exported_symbol_good_unwind.stderr+5
- tests/run-pass/function_calls/exported_symbol_unwind_allowed.rs+15
- tests/run-pass/function_calls/exported_symbol_unwind_allowed.stderr+2
- tests/run-pass/panic/catch_panic.stderr+1-1
- tests/run-pass/rename_std.rs+5
- tests/run-pass/slices.rs+65
- tests/run-pass/strings.rs+29
0 commit comments