@@ -401,19 +401,19 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
401
401
/// list about file descriptors in the interest list that have some
402
402
/// events available. Up to `maxevents` are returned by `epoll_wait()`.
403
403
/// The `maxevents` argument must be greater than zero.
404
-
404
+ ///
405
405
/// The `timeout` argument specifies the number of milliseconds that
406
406
/// `epoll_wait()` will block. Time is measured against the
407
407
/// CLOCK_MONOTONIC clock. If the timeout is zero, the function will not block,
408
408
/// while if the timeout is -1, the function will block
409
409
/// until at least one event has been retrieved (or an error
410
410
/// occurred).
411
-
411
+ ///
412
412
/// A call to `epoll_wait()` will block until either:
413
413
/// • a file descriptor delivers an event;
414
414
/// • the call is interrupted by a signal handler; or
415
415
/// • the timeout expires.
416
-
416
+ ///
417
417
/// Note that the timeout interval will be rounded up to the system
418
418
/// clock granularity, and kernel scheduling delays mean that the
419
419
/// blocking interval may overrun by a small amount. Specifying a
@@ -596,7 +596,7 @@ fn ready_list_next(
596
596
return Some ( epoll_event_instance) ;
597
597
}
598
598
}
599
- return None ;
599
+ None
600
600
}
601
601
602
602
/// This helper function checks whether an epoll notification should be triggered for a specific
@@ -623,9 +623,10 @@ fn check_and_update_one_event_interest<'tcx>(
623
623
let event_instance = EpollEventInstance :: new ( flags, epoll_event_interest. data ) ;
624
624
// Triggers the notification by inserting it to the ready list.
625
625
ready_list. insert ( epoll_key, event_instance) ;
626
- return Ok ( true ) ;
626
+ Ok ( true )
627
+ } else {
628
+ Ok ( false )
627
629
}
628
- return Ok ( false ) ;
629
630
}
630
631
631
632
/// Callback function after epoll_wait unblocks
0 commit comments