sys/unix: add comments for some Miri fallbacks · qinheping/verify-rust-std@4c63749 (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")] {