Fix warnings when checking armv6k-nintendo-3ds · model-checking/verify-rust-std@0727e53 (original) (raw)

4 files changed

lines changed

Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
1 1 //! Definitions for Horizon OS
2 2
3 +#![forbid(unsafe_op_in_unsafe_fn)]
3 4 #![stable(feature = "raw_ext", since = "1.1.0")]
4 5
5 6 pub mod fs;
Original file line number Diff line number Diff line change
@@ -38,6 +38,7 @@ pub type time_t = libc::time_t;
38 38 #[repr(C)]
39 39 #[derive(Clone)]
40 40 #[stable(feature = "raw_ext", since = "1.1.0")]
41 +#[allow(dead_code)] // This exists for parity with other `raw` modules, but isn't actually used.
41 42 pub struct stat {
42 43 #[stable(feature = "raw_ext", since = "1.1.0")]
43 44 pub st_dev: dev_t,
Original file line number Diff line number Diff line change
@@ -67,7 +67,7 @@ cfg_if::cfg_if! {
67 67 ))] {
68 68 #[inline]
69 69 unsafe fn aligned_malloc(layout: &Layout) -> *mut u8 {
70 - libc::memalign(layout.align(), layout.size()) as *mut u8
70 +unsafe { libc::memalign(layout.align(), layout.size()) as *mut u8 }
71 71 }
72 72 } else {
73 73 #[inline]
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
1 -use crate::fmt;
2 1 use crate::io;
3 2 use crate::num::NonZero;
4 3 use crate::sys::pal::unix::unsupported::*;