From 477041e52b1706de6daf292931b04a3a1d39783b Mon Sep 17 00:00:00 2001
From: Tamir Duberstein <tamird@gmail.com>
Date: Tue, 30 Apr 2024 18:41:46 -0400
Subject: [PATCH] Leak an FD to /dev/null to appease miri

---
 aya/src/maps/mod.rs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/aya/src/maps/mod.rs b/aya/src/maps/mod.rs
index c53b5f6b..1ae93fb8 100644
--- a/aya/src/maps/mod.rs
+++ b/aya/src/maps/mod.rs
@@ -1031,11 +1031,15 @@ mod test_utils {
     };
 
     pub(super) fn new_map(obj: obj::Map) -> MapData {
+        use std::os::fd::IntoRawFd as _;
+
         override_syscall(|call| match call {
             Syscall::Ebpf {
                 cmd: bpf_cmd::BPF_MAP_CREATE,
                 ..
-            } => Ok(1337),
+            } => std::fs::File::open("/dev/null")
+                .map(|f| f.into_raw_fd().into())
+                .map_err(|e| (-1, e)),
             call => panic!("unexpected syscall {:?}", call),
         });
         MapData::create(obj, "foo", None).unwrap()