From 0184e10f2f1cfcdf845c680e9fd43b07c16483bd Mon Sep 17 00:00:00 2001 From: Christian Poveda Date: Tue, 24 Dec 2019 12:10:36 -0500 Subject: [PATCH] fix size for file mode --- src/shims/fs.rs | 22 ++++------------------ 1 file changed, 4 insertions(+), 18 deletions(-) diff --git a/src/shims/fs.rs b/src/shims/fs.rs index 8b102bf04abf..b3d16dba6e6e 100644 --- a/src/shims/fs.rs +++ b/src/shims/fs.rs @@ -291,27 +291,13 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx "S_IFLNK" }; - let mode = this.eval_libc(mode_name)?.to_u32()?; + let mode = this.eval_libc(mode_name)?.to_bits(Size::from_bits(16))? as u16; let size = metadata.len(); - let (access_sec, access_nsec) = extract_sec_and_nsec( - metadata.accessed(), - &mut 0, - 0, - )?; - - let (created_sec, created_nsec) = extract_sec_and_nsec( - metadata.created(), - &mut 0, - 0, - )?; - - let (modified_sec, modified_nsec) = extract_sec_and_nsec( - metadata.modified(), - &mut 0, - 0, - )?; + let (access_sec, access_nsec) = extract_sec_and_nsec(metadata.accessed(), &mut 0, 0)?; + let (created_sec, created_nsec) = extract_sec_and_nsec(metadata.created(), &mut 0, 0)?; + let (modified_sec, modified_nsec) = extract_sec_and_nsec(metadata.modified(), &mut 0, 0)?; let dev_t_layout = this.libc_ty_layout("dev_t")?; let mode_t_layout = this.libc_ty_layout("mode_t")?;