Skip to content

Commit

Permalink
make Windows abort_internal Miri-compatible
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Jan 25, 2022
1 parent 17dfae7 commit 53d2401
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions library/std/src/sys/windows/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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"))] {
Expand Down

0 comments on commit 53d2401

Please sign in to comment.