user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

minor cleanup

Browse source
This commit is contained in:
Ralf Jung 2025-07-05 11:40:37 +02:00
parent d87984e129
commit ef0490c868
1 changed files with 4 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

13
src/tools/miri/src/shims/unix/fs.rs
View file

@ -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();