Content-Length: 277356 | pFad | https://github.com/model-checking/verify-rust-std/commit/47d0cbc7e2f3f4e8343c2a81ae347ce805e36cc9

DE Remove Miri special-case · model-checking/verify-rust-std@47d0cbc · GitHub
Skip to content

Commit 47d0cbc

Browse files
committed
Remove Miri special-case
1 parent 596be7e commit 47d0cbc

File tree

1 file changed

+1
-9
lines changed

1 file changed

+1
-9
lines changed

std/src/sys/pal/common/exit_guard.rs

Lines changed: 1 addition & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,5 @@
11
cfg_if::cfg_if! {
2-
if #[cfg(miri)] {
3-
//github.com/ Mitigation for <https://github.com/rust-lang/rust/issues/126600>
4-
//github.com/
5-
//github.com/ This mitigation is not necessary when running under Miri, so this function does nothing
6-
//github.com/ 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")] {
113
//github.com/ Mitigation for <https://github.com/rust-lang/rust/issues/126600>
124
//github.com/
135
//github.com/ On UNIX-like platforms (where `libc::exit` may not be thread-safe), ensure that only one

0 commit comments

Comments
 (0)








ApplySandwichStrip

pFad - (p)hone/(F)rame/(a)nonymizer/(d)eclutterfier!      Saves Data!


--- a PPN by Garber Painting Akron. With Image Size Reduction included!

Fetched URL: https://github.com/model-checking/verify-rust-std/commit/47d0cbc7e2f3f4e8343c2a81ae347ce805e36cc9

Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy