Rollup merge of #131646 - RalfJung:unix-miri-fallbacks, r=joboet · qinheping/verify-rust-std@da6c63c (original) (raw)
2 files changed
lines changed
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -899,7 +899,7 @@ impl DirEntry { | ||
| 899 | 899 | target_os = "android", |
| 900 | 900 | target_os = "hurd" |
| 901 | 901 | ), |
| 902 | - not(miri) | |
| 902 | + not(miri) // no dirfd on Miri | |
| 903 | 903 | ))] |
| 904 | 904 | pub fn metadata(&self) -> io::Result<FileAttr> { |
| 905 | 905 | let fd = cvt(unsafe { dirfd(self.dir.dirp.0) })?; |
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -23,6 +23,7 @@ cfg_if::cfg_if! { | ||
| 23 | 23 | mod windows7; |
| 24 | 24 | pub use windows7::Parker; |
| 25 | 25 | } else if #[cfg(all(target_vendor = "apple", not(miri)))] { |
| 26 | +// Doesn't work in Miri, see https://github.com/rust-lang/miri/issues/2589. | |
| 26 | 27 | mod darwin; |
| 27 | 28 | pub use darwin::Parker; |
| 28 | 29 | } else if #[cfg(target_os = "xous")] { |