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> {
366
366
& mut self ,
367
367
clock_id : & OpTy < ' tcx > ,
368
368
flags : & OpTy < ' tcx > ,
369
- req : & OpTy < ' tcx > ,
369
+ timespec : & OpTy < ' tcx > ,
370
370
rem : & OpTy < ' tcx > ,
371
371
) -> InterpResult < ' tcx , Scalar > {
372
372
let this = self . eval_context_mut ( ) ;
373
-
374
373
let clockid_t_size = this. libc_ty_layout ( "clockid_t" ) . size ;
374
+
375
375
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" ) ) ?;
377
377
let flags = this. read_scalar ( flags) ?. to_i32 ( ) ?;
378
378
let _rem = this. read_pointer ( rem) ?; // Signal handlers are not supported, so rem will never be written to.
379
379
@@ -382,7 +382,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
382
382
throw_unsup_format ! ( "clock_nanosleep: only CLOCK_MONOTONIC is supported" ) ;
383
383
}
384
384
385
- let duration = match this. read_timespec ( & req ) ? {
385
+ let duration = match this. read_timespec ( & timespec ) ? {
386
386
Some ( duration) => duration,
387
387
None => {
388
388
return this. set_last_error_and_return_i32 ( LibcError ( "EINVAL" ) ) ;
You can’t perform that action at this time.
0 commit comments