diff options
| author | Ralf Jung <post@ralfj.de> | 2022-01-25 12:41:26 -0500 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2022-01-25 12:44:40 -0500 |
| commit | 53d2401f3f951a30b5da5941b7b2d7111934cfd9 (patch) | |
| tree | ff1794c0ba0f17e6c287811a18565aa4bdba0b72 /library/std | |
| parent | 17dfae79bbc3dabe1427073086acf7f7bd45148c (diff) | |
| download | rust-53d2401f3f951a30b5da5941b7b2d7111934cfd9.tar.gz rust-53d2401f3f951a30b5da5941b7b2d7111934cfd9.zip | |
make Windows abort_internal Miri-compatible
Diffstat (limited to 'library/std')
| -rw-r--r-- | library/std/src/sys/windows/mod.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/library/std/src/sys/windows/mod.rs b/library/std/src/sys/windows/mod.rs index 084af4325e7..ad4492f9d1f 100644 --- a/library/std/src/sys/windows/mod.rs +++ b/library/std/src/sys/windows/mod.rs @@ -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"))] { |