Skip to content

Commit 53d2401

Browse files
committed
make Windows abort_internal Miri-compatible
1 parent 17dfae7 commit 53d2401

File tree

1 file changed

+1
-0
lines changed
  • library/std/src/sys/windows

1 file changed

+1
-0
lines changed

library/std/src/sys/windows/mod.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -285,6 +285,7 @@ pub fn dur2timeout(dur: Duration) -> c::DWORD {
285285
#[allow(unreachable_code)]
286286
pub fn abort_internal() -> ! {
287287
const FAST_FAIL_FATAL_APP_EXIT: usize = 7;
288+
#[cfg(not(miri))] // inline assembly does not work in Miri
288289
unsafe {
289290
cfg_if::cfg_if! {
290291
if #[cfg(any(target_arch = "x86", target_arch = "x86_64"))] {

0 commit comments

Comments
 (0)