diff options
| author | Ralf Jung <post@ralfj.de> | 2024-04-03 15:19:33 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-04-03 15:19:33 +0200 |
| commit | f2120893c696886317e1ef66e4f1e6419a147989 (patch) | |
| tree | 077db7b1b7efa6e170bfefe9aeb97c8df951256d | |
| parent | 23fba86c3b1e3c1d42de5a8f35c206c766059dc2 (diff) | |
| download | rust-f2120893c696886317e1ef66e4f1e6419a147989.tar.gz rust-f2120893c696886317e1ef66e4f1e6419a147989.zip | |
epoll: note a FIXME
| -rw-r--r-- | src/tools/miri/src/shims/unix/linux/epoll.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/miri/src/shims/unix/linux/epoll.rs b/src/tools/miri/src/shims/unix/linux/epoll.rs index 82e0bffff77..5161d91ca36 100644 --- 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())) } |