Rollup merge of #127996 - ian-h-chamberlain:fix/horizon-warnings-unsa… · model-checking/verify-rust-std@323e962 (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::*; |