Allow unused unsafe for vxworks in read_at and write at · model-checking/verify-rust-std@22a6797 (original) (raw)

Original file line number Diff line number Diff line change
@@ -120,6 +120,7 @@ impl FileDesc {
120 120 (&mut me).read_to_end(buf)
121 121 }
122 122
123 +#[cfg_attr(target_os = "vxworks", allow(unused_unsafe))]
123 124 pub fn read_at(&self, buf: &mut [u8], offset: u64) -> io::Result<usize> {
124 125 #[cfg(not(any(
125 126 all(target_os = "linux", not(target_env = "musl")),
@@ -313,6 +314,7 @@ impl FileDesc {
313 314 cfg!(not(any(target_os = "espidf", target_os = "horizon", target_os = "vita")))
314 315 }
315 316
317 +#[cfg_attr(target_os = "vxworks", allow(unused_unsafe))]
316 318 pub fn write_at(&self, buf: &[u8], offset: u64) -> io::Result<usize> {
317 319 #[cfg(not(any(
318 320 all(target_os = "linux", not(target_env = "musl")),