@@ -401,19 +401,19 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
401401 /// list about file descriptors in the interest list that have some
402402 /// events available. Up to `maxevents` are returned by `epoll_wait()`.
403403 /// The `maxevents` argument must be greater than zero.
404-
404+ ///
405405 /// The `timeout` argument specifies the number of milliseconds that
406406 /// `epoll_wait()` will block. Time is measured against the
407407 /// CLOCK_MONOTONIC clock. If the timeout is zero, the function will not block,
408408 /// while if the timeout is -1, the function will block
409409 /// until at least one event has been retrieved (or an error
410410 /// occurred).
411-
411+ ///
412412 /// A call to `epoll_wait()` will block until either:
413413 /// • a file descriptor delivers an event;
414414 /// • the call is interrupted by a signal handler; or
415415 /// • the timeout expires.
416-
416+ ///
417417 /// Note that the timeout interval will be rounded up to the system
418418 /// clock granularity, and kernel scheduling delays mean that the
419419 /// blocking interval may overrun by a small amount. Specifying a
@@ -596,7 +596,7 @@ fn ready_list_next(
596596 return Some ( epoll_event_instance) ;
597597 }
598598 }
599- return None ;
599+ None
600600}
601601
602602/// 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>(
623623 let event_instance = EpollEventInstance :: new ( flags, epoll_event_interest. data ) ;
624624 // Triggers the notification by inserting it to the ready list.
625625 ready_list. insert ( epoll_key, event_instance) ;
626- return Ok ( true ) ;
626+ Ok ( true )
627+ } else {
628+ Ok ( false )
627629 }
628- return Ok ( false ) ;
629630}
630631
631632/// Callback function after epoll_wait unblocks
0 commit comments