diff options
| author | Alex Saveau <saveau.alexandre@gmail.com> | 2022-10-14 20:51:54 -0700 |
|---|---|---|
| committer | Alex Saveau <saveau.alexandre@gmail.com> | 2022-10-16 12:14:27 -0700 |
| commit | 727335878d316f6301780d182ea14ec4fb32531d (patch) | |
| tree | 79e1e6820db76858766dc29037749aa4aedeba08 /library/std/src/sys/unix/fs.rs | |
| parent | 8147e6e427a1b3c4aedcd9fd85bd457888f80972 (diff) | |
| download | rust-727335878d316f6301780d182ea14ec4fb32531d.tar.gz rust-727335878d316f6301780d182ea14ec4fb32531d.zip | |
Support DirEntry metadata calls in miri
Signed-off-by: Alex Saveau <saveau.alexandre@gmail.com>
Diffstat (limited to 'library/std/src/sys/unix/fs.rs')
| -rw-r--r-- | library/std/src/sys/unix/fs.rs | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/library/std/src/sys/unix/fs.rs b/library/std/src/sys/unix/fs.rs index 3ac01e6a27d..780f46f8c11 100644 --- a/library/std/src/sys/unix/fs.rs +++ b/library/std/src/sys/unix/fs.rs @@ -674,7 +674,10 @@ impl DirEntry { self.file_name_os_str().to_os_string() } - #[cfg(any(target_os = "linux", target_os = "emscripten", target_os = "android"))] + #[cfg(all( + any(target_os = "linux", target_os = "emscripten", target_os = "android"), + not(miri) + ))] pub fn metadata(&self) -> io::Result<FileAttr> { let fd = cvt(unsafe { dirfd(self.dir.dirp.0) })?; let name = self.name_cstr().as_ptr(); @@ -695,7 +698,10 @@ impl DirEntry { Ok(FileAttr::from_stat64(stat)) } - #[cfg(not(any(target_os = "linux", target_os = "emscripten", target_os = "android")))] + #[cfg(any( + not(any(target_os = "linux", target_os = "emscripten", target_os = "android")), + miri + ))] pub fn metadata(&self) -> io::Result<FileAttr> { lstat(&self.path()) } |
