Exclude macos from the metadata test

Author: pvdrz

tests/run-pass/fs.rs

@@ -1,8 +1,22 @@
 // ignore-windows: File handling is not implemented yet
 // compile-flags: -Zmiri-disable-isolation
 
-use std::fs::{File, remove_file, metadata};
+use std::fs::{File, remove_file};
 use std::io::{Read, Write, ErrorKind};
+use std::path::Path;
+
+#[cfg(target_os = "linux")]
+fn test_metadata(path: &Path, bytes: &[u8]) {
+    // Test that the file metadata is correct.
+    let metadata = std::fs::metadata(path).unwrap();
+    // `path` should point to a file.
+    assert!(metadata.is_file());
+    // The size of the file must be equal to the number of written bytes.
+    assert_eq!(bytes.len() as u64, metadata.len());
+}
+
+#[cfg(not(target_os = "linux"))]
+fn test_metadata(_path: &Path, _bytes: &[u8]) {}
 
 fn main() {
     let path = std::env::temp_dir().join("miri_test_fs.txt");
@@ -22,12 +36,8 @@ fn main() {
     file.read_to_end(&mut contents).unwrap();
     assert_eq!(bytes, contents.as_slice());
 
-    // Test that the file metadata is correct.
-    let metadata = metadata(&path).unwrap();
-    // `path` should point to a file.
-    assert!(metadata.is_file());
-    // The size of the file must be equal to the number of written bytes.
-    assert_eq!(bytes.len() as u64, metadata.len());
+    // FIXME: Implement stat64 for macos.
+    test_metadata(&path, bytes);
 
     // Removing file should succeed.
     remove_file(&path).unwrap();