diff options
| author | Ralf Jung <post@ralfj.de> | 2025-07-05 11:40:37 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-07-05 11:40:37 +0200 |
| commit | ef0490c8685ad6ef76e2777934571fc913abd1a8 (patch) | |
| tree | 8d6c3e1516c2aff8a0286578c765f7d66800a57b | |
| parent | d87984e12934cc2f1cf64461f2416a82d76383fe (diff) | |
| download | rust-ef0490c8685ad6ef76e2777934571fc913abd1a8.tar.gz rust-ef0490c8685ad6ef76e2777934571fc913abd1a8.zip | |
minor cleanup
| -rw-r--r-- | src/tools/miri/src/shims/unix/fs.rs | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/src/tools/miri/src/shims/unix/fs.rs b/src/tools/miri/src/shims/unix/fs.rs index 073072a883d..0f2878ad26c 100644 --- a/src/tools/miri/src/shims/unix/fs.rs +++ b/src/tools/miri/src/shims/unix/fs.rs @@ -128,19 +128,16 @@ trait EvalContextExtPrivate<'tcx>: crate::MiriInterpCxExt<'tcx> { let (created_sec, created_nsec) = metadata.created.unwrap_or((0, 0)); let (modified_sec, modified_nsec) = metadata.modified.unwrap_or((0, 0)); let mode = metadata.mode.to_uint(this.libc_ty_layout("mode_t").size)?; - let dev = metadata.dev; - let uid = metadata.uid; - let gid = metadata.gid; let buf = this.deref_pointer_as(buf_op, this.libc_ty_layout("stat"))?; this.write_int_fields_named( &[ - ("st_dev", dev.into()), + ("st_dev", metadata.dev.into()), ("st_mode", mode.try_into().unwrap()), ("st_nlink", 0), ("st_ino", 0), - ("st_uid", uid.into()), - ("st_gid", gid.into()), + ("st_uid", metadata.uid.into()), + ("st_gid", metadata.gid.into()), ("st_rdev", 0), ("st_atime", access_sec.into()), ("st_mtime", modified_sec.into()), @@ -1581,9 +1578,6 @@ impl FileMetadata { ecx: &mut MiriInterpCx<'tcx>, metadata: Result<std::fs::Metadata, std::io::Error>, ) -> InterpResult<'tcx, Result<FileMetadata, IoError>> { - #[cfg(unix)] - use std::os::unix::fs::MetadataExt; - let metadata = match metadata { Ok(metadata) => metadata, Err(e) => { @@ -1613,6 +1607,7 @@ impl FileMetadata { cfg_select! { unix => { + use std::os::unix::fs::MetadataExt; let dev = metadata.dev(); let uid = metadata.uid(); let gid = metadata.gid(); |
