Home Original page

kmc-solid: forbid(unsafe_op_in_unsafe_fn) · patricklam/verify-rust-std@dcb9854

5 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,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,