diff options
| -rw-r--r-- | src/tools/miri/src/shims/unix/linux/fd/epoll.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/miri/src/shims/unix/linux/fd/epoll.rs b/src/tools/miri/src/shims/unix/linux/fd/epoll.rs index a429caaf8f4..8c5aed6def6 100644 --- a/src/tools/miri/src/shims/unix/linux/fd/epoll.rs +++ b/src/tools/miri/src/shims/unix/linux/fd/epoll.rs @@ -21,9 +21,11 @@ pub struct Epoll { /// <https://man7.org/linux/man-pages/man2/epoll_ctl.2.html> #[derive(Clone, Debug)] pub struct EpollEvent { + #[allow(dead_code)] pub events: u32, /// `Scalar<Provenance>` is used to represent the /// `epoll_data` type union. + #[allow(dead_code)] pub data: Scalar<Provenance>, } |