Home Original page

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

6 files changed

lines changed

Original file line numberDiff line numberDiff line change

@@ -44,7 +44,6 @@

4444

//!

4545

//! [`BorrowedFd<'a>`]: crate::os::solid::io::BorrowedFd

4646
47-

#![deny(unsafe_op_in_unsafe_fn)]

4847

#![unstable(feature = "solid_ext", issue = "none")]

4948
5049

use crate::fmt;

Original file line numberDiff line numberDiff line change

@@ -1,4 +1,5 @@

11

#![stable(feature = "rust1", since = "1.0.0")]

2+

#![forbid(unsafe_op_in_unsafe_fn)]

23
34

pub mod ffi;

45

pub mod io;

Original file line numberDiff line numberDiff line change

@@ -1,6 +1,6 @@

11

#![allow(dead_code)]

22

#![allow(missing_docs, nonstandard_style)]

3-

#![deny(unsafe_op_in_unsafe_fn)]

3+

#![forbid(unsafe_op_in_unsafe_fn)]

44
55

pub mod abi;

66
Original file line numberDiff line numberDiff line change

@@ -1,3 +1,4 @@

1+

#![forbid(unsafe_op_in_unsafe_fn)]

12

use crate::ffi::OsStr;

23

use crate::io;

34

use crate::path::{Path, PathBuf, Prefix};

Original file line numberDiff line numberDiff line change

@@ -1,5 +1,6 @@

11

//! Mutex implementation backed by μITRON mutexes. Assumes `acre_mtx` and

22

//! `TA_INHERIT` are available.

3+

#![forbid(unsafe_op_in_unsafe_fn)]

34
45

use crate::sys::pal::itron::{

56

abi,

Original file line numberDiff line numberDiff line change

@@ -1,4 +1,5 @@

11

//! A readers-writer lock implementation backed by the SOLID kernel extension.

2+

#![forbid(unsafe_op_in_unsafe_fn)]

23
34

use crate::sys::pal::{

45

abi,