From 47d0cbc7e2f3f4e8343c2a81ae347ce805e36cc9 Mon Sep 17 00:00:00 2001 From: Zachary S Date: Wed, 3 Jul 2024 13:33:32 -0500 Subject: [PATCH] Remove Miri special-case --- std/src/sys/pal/common/exit_guard.rs | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/std/src/sys/pal/common/exit_guard.rs b/std/src/sys/pal/common/exit_guard.rs index 0ea1faacee95d..eb2c14cdecc71 100644 --- a/std/src/sys/pal/common/exit_guard.rs +++ b/std/src/sys/pal/common/exit_guard.rs @@ -1,13 +1,5 @@ cfg_if::cfg_if! { - if #[cfg(miri)] { - /// Mitigation for - /// - /// This mitigation is not necessary when running under Miri, so this function does nothing - /// when running under Miri. - pub(crate) fn unique_thread_exit() { - // Mitigation not required on Miri, where `exit` is thread-safe. - } - } else if #[cfg(target_os = "linux")] { + if #[cfg(target_os = "linux")] { /// Mitigation for /// /// On UNIX-like platforms (where `libc::exit` may not be thread-safe), ensure that only one