@@ -128,19 +128,16 @@ trait EvalContextExtPrivate<'tcx>: crate::MiriInterpCxExt<'tcx> {
128128 let ( created_sec, created_nsec) = metadata. created . unwrap_or ( ( 0 , 0 ) ) ;
129129 let ( modified_sec, modified_nsec) = metadata. modified . unwrap_or ( ( 0 , 0 ) ) ;
130130 let mode = metadata. mode . to_uint ( this. libc_ty_layout ( "mode_t" ) . size ) ?;
131- let dev = metadata. dev ;
132- let uid = metadata. uid ;
133- let gid = metadata. gid ;
134131
135132 let buf = this. deref_pointer_as ( buf_op, this. libc_ty_layout ( "stat" ) ) ?;
136133 this. write_int_fields_named (
137134 & [
138- ( "st_dev" , dev. into ( ) ) ,
135+ ( "st_dev" , metadata . dev . into ( ) ) ,
139136 ( "st_mode" , mode. try_into ( ) . unwrap ( ) ) ,
140137 ( "st_nlink" , 0 ) ,
141138 ( "st_ino" , 0 ) ,
142- ( "st_uid" , uid. into ( ) ) ,
143- ( "st_gid" , gid. into ( ) ) ,
139+ ( "st_uid" , metadata . uid . into ( ) ) ,
140+ ( "st_gid" , metadata . gid . into ( ) ) ,
144141 ( "st_rdev" , 0 ) ,
145142 ( "st_atime" , access_sec. into ( ) ) ,
146143 ( "st_mtime" , modified_sec. into ( ) ) ,
@@ -1581,9 +1578,6 @@ impl FileMetadata {
15811578 ecx : & mut MiriInterpCx < ' tcx > ,
15821579 metadata : Result < std:: fs:: Metadata , std:: io:: Error > ,
15831580 ) -> InterpResult < ' tcx , Result < FileMetadata , IoError > > {
1584- #[ cfg( unix) ]
1585- use std:: os:: unix:: fs:: MetadataExt ;
1586-
15871581 let metadata = match metadata {
15881582 Ok ( metadata) => metadata,
15891583 Err ( e) => {
@@ -1613,6 +1607,7 @@ impl FileMetadata {
16131607
16141608 cfg_select ! {
16151609 unix => {
1610+ use std:: os:: unix:: fs:: MetadataExt ;
16161611 let dev = metadata. dev( ) ;
16171612 let uid = metadata. uid( ) ;
16181613 let gid = metadata. gid( ) ;
0 commit comments