Disable use of pwrite/pread under miri

spacejam · Jan 26, 2020 · cb8be48 · cb8be48
1 parent 63e4045
commit cb8be48
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/src/pagecache/mod.rs b/src/pagecache/mod.rs
@@ -11,11 +11,11 @@ mod io_uring;
 mod iobuf;
 mod iterator;
 mod pagetable;
-#[cfg(all(not(unix), not(windows)))]
+#[cfg(any(all(not(unix), not(windows)), miri))]
 mod parallel_io_polyfill;
-#[cfg(unix)]
+#[cfg(all(unix, not(miri)))]
 mod parallel_io_unix;
-#[cfg(windows)]
+#[cfg(all(windows, not(miri)))]
 mod parallel_io_windows;
 mod reservation;
 mod segment;
@@ -24,13 +24,13 @@ mod snapshot;
 use crate::*;
 use std::{collections::BinaryHeap, ops::Deref};
 
-#[cfg(all(not(unix), not(windows)))]
+#[cfg(any(all(not(unix), not(windows)), miri))]
 use parallel_io_polyfill::{pread_exact, pwrite_all};
 
-#[cfg(unix)]
+#[cfg(all(unix, not(miri)))]
 use parallel_io_unix::{pread_exact, pwrite_all};
 
-#[cfg(windows)]
+#[cfg(all(windows, not(miri)))]
 use parallel_io_windows::{pread_exact, pwrite_all};
 
 use self::{