epoll: note a FIXME

RalfJung · RalfJung · commit f2120893c696 · 2024-04-03T15:19:33.000+02:00
diff --git a/src/tools/miri/src/shims/unix/linux/epoll.rs b/src/tools/miri/src/shims/unix/linux/epoll.rs
@@ -35,6 +35,8 @@ impl FileDescriptor for Epoll {
     }
 
     fn dup(&mut self) -> io::Result<Box<dyn FileDescriptor>> {
+        // FIXME: this is probably wrong -- check if the `dup`ed descriptor truly uses an
+        // independent event set.
         Ok(Box::new(self.clone()))
     }
 

Original file line number	Diff line number	Diff line change
`@@ -35,6 +35,8 @@ impl FileDescriptor for Epoll {`
`35`	`35`	`}`
`36`	`36`
`37`	`37`	`fn dup(&mut self) -> io::Result<Box<dyn FileDescriptor>> {`
	`38`	+ // FIXME: this is probably wrong -- check if the `dup`ed descriptor truly uses an
	`39`	`+ // independent event set.`
`38`	`40`	`Ok(Box::new(self.clone()))`
`39`	`41`	`}`
`40`	`42`