]> git.lizzy.rs Git - rust.git/commit
Add `-Zmiri-disable-abi-check`
authorhyd-dev <yd-huang@outlook.com>
Sat, 29 May 2021 17:36:06 +0000 (01:36 +0800)
committerhyd-dev <yd-huang@outlook.com>
Mon, 31 May 2021 03:14:23 +0000 (11:14 +0800)
commit71f41405500cec42be22f0080bf3f83f97bfa768
tree8df5ce22252d2fa79c0729c8e9dc5102276b2c98
parent178ae8e44c5ecbe7445772a499679f62efd54a91
Add `-Zmiri-disable-abi-check`
16 files changed:
README.md
src/bin/miri.rs
src/eval.rs
src/helpers.rs
src/machine.rs
src/shims/foreign_items.rs
src/shims/posix/dlsym.rs
src/shims/posix/foreign_items.rs
src/shims/posix/linux/foreign_items.rs
src/shims/posix/macos/foreign_items.rs
src/shims/windows/dlsym.rs
src/shims/windows/foreign_items.rs
tests/compile-fail/check_callback_abi.rs [new file with mode: 0644]
tests/compile-fail/concurrency/unwind_top_of_stack.rs
tests/compile-fail/panic/bad_unwind.rs
tests/run-pass/disable_abi_check.rs [new file with mode: 0644]