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

fix size for file mode

Browse source
This commit is contained in:
Christian Poveda 2019-12-24 12:10:36 -05:00
parent b2c4ff2aee
commit 0184e10f2f
No known key found for this signature in database
GPG key ID: 27525EF5E7420A50
1 changed files with 4 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

22
src/shims/fs.rs
View file

@ -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")?;