@@ -114,13 +114,6 @@ trait EvalContextExtPrivate<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, '
114
114
let blksize_t_layout = this. libc_ty_layout ( "blksize_t" ) ?;
115
115
let uint32_t_layout = this. libc_ty_layout ( "uint32_t" ) ?;
116
116
117
- // We need to add 32 bits of padding after `st_rdev` if we are on a 64-bit target.
118
- let pad_layout = if this. tcx . sess . target . ptr_width == 64 {
119
- uint32_t_layout
120
- } else {
121
- this. layout_of ( this. tcx . mk_unit ( ) ) ?
122
- } ;
123
-
124
117
let imms = [
125
118
immty_from_uint_checked ( 0u128 , dev_t_layout) ?, // st_dev
126
119
immty_from_uint_checked ( mode, mode_t_layout) ?, // st_mode
@@ -129,7 +122,7 @@ trait EvalContextExtPrivate<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, '
129
122
immty_from_uint_checked ( 0u128 , uid_t_layout) ?, // st_uid
130
123
immty_from_uint_checked ( 0u128 , gid_t_layout) ?, // st_gid
131
124
immty_from_uint_checked ( 0u128 , dev_t_layout) ?, // st_rdev
132
- immty_from_uint_checked ( 0u128 , pad_layout ) ?, // padding for 64-bit targets
125
+ immty_from_uint_checked ( 0u128 , uint32_t_layout ) ?, // padding
133
126
immty_from_uint_checked ( access_sec, time_t_layout) ?, // st_atime
134
127
immty_from_uint_checked ( access_nsec, long_layout) ?, // st_atime_nsec
135
128
immty_from_uint_checked ( modified_sec, time_t_layout) ?, // st_mtime
0 commit comments