Remove Miri special-case · model-checking/verify-rust-std@47d0cbc (original) (raw)

Original file line number Diff line number Diff line change
@@ -1,13 +1,5 @@
1 1 cfg_if::cfg_if! {
2 -if #[cfg(miri)] {
3 -/// Mitigation for https://github.com/rust-lang/rust/issues/126600
4 - ///
5 - /// This mitigation is not necessary when running under Miri, so this function does nothing
6 - /// when running under Miri.
7 - pub(crate) fn unique_thread_exit() {
8 -// Mitigation not required on Miri, where `exit` is thread-safe.
9 -}
10 -} else if #[cfg(target_os = "linux")] {
2 +if #[cfg(target_os = "linux")] {
11 3 /// Mitigation for https://github.com/rust-lang/rust/issues/126600
12 4 ///
13 5 /// On UNIX-like platforms (where `libc::exit` may not be thread-safe), ensure that only one