File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -366,14 +366,14 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
366366 & mut self ,
367367 clock_id : & OpTy < ' tcx > ,
368368 flags : & OpTy < ' tcx > ,
369- req : & OpTy < ' tcx > ,
369+ timespec : & OpTy < ' tcx > ,
370370 rem : & OpTy < ' tcx > ,
371371 ) -> InterpResult < ' tcx , Scalar > {
372372 let this = self . eval_context_mut ( ) ;
373-
374373 let clockid_t_size = this. libc_ty_layout ( "clockid_t" ) . size ;
374+
375375 let clock_id = this. read_scalar ( clock_id) ?. to_int ( clockid_t_size) ?;
376- let req = this. deref_pointer_as ( req , this. libc_ty_layout ( "timespec" ) ) ?;
376+ let timespec = this. deref_pointer_as ( timespec , this. libc_ty_layout ( "timespec" ) ) ?;
377377 let flags = this. read_scalar ( flags) ?. to_i32 ( ) ?;
378378 let _rem = this. read_pointer ( rem) ?; // Signal handlers are not supported, so rem will never be written to.
379379
@@ -382,7 +382,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
382382 throw_unsup_format ! ( "clock_nanosleep: only CLOCK_MONOTONIC is supported" ) ;
383383 }
384384
385- let duration = match this. read_timespec ( & req ) ? {
385+ let duration = match this. read_timespec ( & timespec ) ? {
386386 Some ( duration) => duration,
387387 None => {
388388 return this. set_last_error_and_return_i32 ( LibcError ( "EINVAL" ) ) ;
You can’t perform that action at this time.
0 commit comments