Rollup merge of #127873 - workingjubilee:forbid-unsafe-ops-for-kmc-so… · model-checking/verify-rust-std@07dbb38 (original) (raw)

6 files changed

lines changed

Original file line number Diff line number Diff line change
@@ -44,7 +44,6 @@
44 44 //!
45 45 //! [`BorrowedFd<'a>`]: crate::os:🪨:io::BorrowedFd
46 46
47 -#![deny(unsafe_op_in_unsafe_fn)]
48 47 #![unstable(feature = "solid_ext", issue = "none")]
49 48
50 49 use crate::fmt;
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
1 1 #![stable(feature = "rust1", since = "1.0.0")]
2 +#![forbid(unsafe_op_in_unsafe_fn)]
2 3
3 4 pub mod ffi;
4 5 pub mod io;
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
1 1 #![allow(dead_code)]
2 2 #![allow(missing_docs, nonstandard_style)]
3 -#![deny(unsafe_op_in_unsafe_fn)]
3 +#![forbid(unsafe_op_in_unsafe_fn)]
4 4
5 5 pub mod abi;
6 6
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
1 +#![forbid(unsafe_op_in_unsafe_fn)]
1 2 use crate::ffi::OsStr;
2 3 use crate::io;
3 4 use crate::path::{Path, PathBuf, Prefix};
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
1 1 //! Mutex implementation backed by μITRON mutexes. Assumes `acre_mtx` and
2 2 //! `TA_INHERIT` are available.
3 +#![forbid(unsafe_op_in_unsafe_fn)]
3 4
4 5 use crate::sys::pal::itron::{
5 6 abi,
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
1 1 //! A readers-writer lock implementation backed by the SOLID kernel extension.
2 +#![forbid(unsafe_op_in_unsafe_fn)]
2 3
3 4 use crate::sys::pal::{
4 5 abi,