no need to support macos

Author: LorrensP-2158466

src/shims/unix/fs.rs

@@ -903,10 +903,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
     fn readdir64(&mut self, dirent_type: &str, dirp_op: &OpTy<'tcx>) -> InterpResult<'tcx, Scalar> {
         let this = self.eval_context_mut();
 
-        if !matches!(
-            &*this.tcx.sess.target.os,
-            "linux" | "solaris" | "illumos" | "macos" | "freebsd"
-        ) {
+        if !matches!(&*this.tcx.sess.target.os, "linux" | "solaris" | "illumos" | "freebsd") {
             panic!("`linux_solaris_readdir64` should not be called on {}", this.tcx.sess.target.os);
         }
 
@@ -955,16 +952,6 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
                 //     pub d_namlen: uint8_t,
                 //     pub d_name: [c_char; 256]
                 // }
-                //
-                // On Macos:
-                // pub struct dirent {
-                //     pub d_ino: u64,
-                //     pub d_seekoff: u64,
-                //     pub d_reclen: u16,
-                //     pub d_namlen: u16,
-                //     pub d_type: u8,
-                //     pub d_name: [c_char; 1024],
-                // }
 
                 let mut name = dir_entry.file_name(); // not a Path as there are no separators!
                 name.push("\0"); // Add a NUL terminator
@@ -995,13 +982,15 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
                 // Write common fields
                 let ino_name =
                     if this.tcx.sess.target.os == "freebsd" { "d_fileno" } else { "d_ino" };
-                let off_name =
-                    if this.tcx.sess.target.os == "macos" { "d_seekoff" } else { "d_off" };
                 this.write_int_fields_named(
-                    &[(ino_name, ino.into()), (off_name, 0), ("d_reclen", size.into())],
+                    &[(ino_name, ino.into()), ("d_reclen", size.into())],
                     &entry,
                 )?;
 
+                if let Some(d_off) = this.try_project_field_named(&entry, "d_off")? {
+                    this.write_null(&d_off)?;
+                }
+
                 if let Some(d_namlen) = this.try_project_field_named(&entry, "d_namlen")? {
                     this.write_int(name_len.strict_sub(1), &d_namlen)?;
                 }

src/shims/unix/macos/foreign_items.rs

@@ -72,11 +72,6 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
                 let result = this.macos_fbsd_readdir_r(dirp, entry, result)?;
                 this.write_scalar(result, dest)?;
             }
-            "readdir" | "readdir$INODE64" => {
-                let [dirp] = this.check_shim_sig_lenient(abi, CanonAbi::C, link_name, args)?;
-                let result = this.readdir64("dirent", dirp)?;
-                this.write_scalar(result, dest)?;
-            }
             "realpath$DARWIN_EXTSN" => {
                 let [path, resolved_path] =
                     this.check_shim_sig_lenient(abi, CanonAbi::C, link_name, args)?;