Attempt to fix CI · model-checking/verify-rust-std@5e9d445
@@ -19,6 +19,7 @@ cfg_if::cfg_if! {
1919 /// * If it is called again on the same thread as the first call, it will abort.
2020 /// * If it is called again on a different thread, it will wait in a loop
2121 /// (waiting for the process to exit).
22+ #[cfg_attr(any(test, doctest), allow(dead_code))]
2223pub(crate) fn unique_thread_exit() {
2324let this_thread_id = unsafe { libc::pthread_self() };
2425use crate::sync::{Mutex, PoisonError};
@@ -54,6 +55,7 @@ cfg_if::cfg_if! {
5455 ///
5556 /// Mitigation is ***NOT*** implemented on this platform, either because this platform
5657 /// is not affected, or because mitigation is not yet implemented for this platform.
58+ #[cfg_attr(any(test, doctest), allow(dead_code))]
5759pub(crate) fn unique_thread_exit() {
5860// Mitigation not required on platforms where `exit` is thread-safe.
5961}