about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2024-10-10 07:53:16 +0200
committerRalf Jung <post@ralfj.de>2024-10-10 07:53:16 +0200
commiteb76079911b3011e6c41bd69bc6536ad442c2cd2 (patch)
tree44e9f22e78a47625104cd44cb2d0de3b5859e5e2
parentfaf8c14300ab609325aef85441725670ecc80a6a (diff)
downloadrust-eb76079911b3011e6c41bd69bc6536ad442c2cd2.tar.gz
rust-eb76079911b3011e6c41bd69bc6536ad442c2cd2.zip
epoll event adding: no need to join, there's no old clock here
-rw-r--r--src/tools/miri/src/shims/unix/linux/epoll.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/src/shims/unix/linux/epoll.rs b/src/tools/miri/src/shims/unix/linux/epoll.rs
index cc6b9e94f36..9ff7dbbdf84 100644
--- a/src/tools/miri/src/shims/unix/linux/epoll.rs
+++ b/src/tools/miri/src/shims/unix/linux/epoll.rs
@@ -626,7 +626,7 @@ fn check_and_update_one_event_interest<'tcx>(
         let mut event_instance = EpollEventInstance::new(flags, epoll_event_interest.data);
         // If we are tracking data races, remember the current clock so we can sync with it later.
         ecx.release_clock(|clock| {
-            event_instance.clock.join(clock);
+            event_instance.clock.clone_from(clock);
         });
         // Triggers the notification by inserting it to the ready list.
         ready_list.insert(epoll_key, event_instance);