make Windows abort_internal Miri-compatible

This commit is contained in:
Ralf Jung 2022-01-25 12:41:26 -05:00
parent 17dfae79bb
commit 53d2401f3f

View file

@ -285,6 +285,7 @@ pub fn dur2timeout(dur: Duration) -> c::DWORD {
#[allow(unreachable_code)]
pub fn abort_internal() -> ! {
const FAST_FAIL_FATAL_APP_EXIT: usize = 7;
#[cfg(not(miri))] // inline assembly does not work in Miri
unsafe {
cfg_if::cfg_if! {
if #[cfg(any(target_arch = "x86", target_arch = "x86_64"))] {