WASI fixing unsafe_op_in_unsafe_fn for std::{os, sys} · patricklam/verify-rust-std@a300df7 (original) (raw)
14 files changed
lines changed
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -2,7 +2,6 @@ | ||
| 2 | 2 | //! |
| 3 | 3 | //! [`std::fs`]: crate::fs |
| 4 | 4 | |
| 5 | -#![deny(unsafe_op_in_unsafe_fn)] | |
| 6 | 5 | #![unstable(feature = "wasi_ext", issue = "71213")] |
| 7 | 6 | |
| 8 | 7 | // Used for `File::read` on intra-doc links |
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -30,7 +30,7 @@ | ||
| 30 | 30 | |
| 31 | 31 | #![cfg_attr(not(target_env = "p2"), stable(feature = "rust1", since = "1.0.0"))] |
| 32 | 32 | #![cfg_attr(target_env = "p2", unstable(feature = "wasip2", issue = "none"))] |
| 33 | -#![deny(unsafe_op_in_unsafe_fn)] | |
| 33 | +#![forbid(unsafe_op_in_unsafe_fn)] | |
| 34 | 34 | #![doc(cfg(target_os = "wasi"))] |
| 35 | 35 | |
| 36 | 36 | pub mod ffi; |
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -2,4 +2,5 @@ | ||
| 2 | 2 | //! |
| 3 | 3 | //! This module is currently empty, but will be filled over time as wasi-libc support for WASI Preview 2 is stabilized. |
| 4 | 4 | |
| 5 | +#![forbid(unsafe_op_in_unsafe_fn)] | |
| 5 | 6 | #![stable(feature = "raw_ext", since = "1.1.0")] |
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,4 +1,4 @@ | ||
| 1 | -#![deny(unsafe_op_in_unsafe_fn)] | |
| 1 | +#![forbid(unsafe_op_in_unsafe_fn)] | |
| 2 | 2 | |
| 3 | 3 | use crate::ffi::{CStr, OsStr, OsString}; |
| 4 | 4 | use crate::os::wasi::ffi::OsStrExt; |
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,3 +1,5 @@ | ||
| 1 | +#![forbid(unsafe_op_in_unsafe_fn)] | |
| 2 | + | |
| 1 | 3 | pub mod os { |
| 2 | 4 | pub const FAMILY: &str = ""; |
| 3 | 5 | pub const OS: &str = ""; |
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,4 +1,4 @@ | ||
| 1 | -#![deny(unsafe_op_in_unsafe_fn)] | |
| 1 | +#![forbid(unsafe_op_in_unsafe_fn)] | |
| 2 | 2 | #![allow(dead_code)] |
| 3 | 3 | |
| 4 | 4 | use super::err2io; |
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,4 +1,4 @@ | ||
| 1 | -#![deny(unsafe_op_in_unsafe_fn)] | |
| 1 | +#![forbid(unsafe_op_in_unsafe_fn)] | |
| 2 | 2 | |
| 3 | 3 | use super::fd::WasiFd; |
| 4 | 4 | use crate::ffi::{CStr, OsStr, OsString}; |
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,3 +1,5 @@ | ||
| 1 | +#![forbid(unsafe_op_in_unsafe_fn)] | |
| 2 | + | |
| 1 | 3 | use crate::{io as std_io, mem}; |
| 2 | 4 | |
| 3 | 5 | #[inline] |
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,4 +1,4 @@ | ||
| 1 | -#![deny(unsafe_op_in_unsafe_fn)] | |
| 1 | +#![forbid(unsafe_op_in_unsafe_fn)] | |
| 2 | 2 | |
| 3 | 3 | use crate:📑:PhantomData; |
| 4 | 4 | use crate::os::fd::{AsFd, AsRawFd}; |
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,4 +1,4 @@ | ||
| 1 | -#![deny(unsafe_op_in_unsafe_fn)] | |
| 1 | +#![forbid(unsafe_op_in_unsafe_fn)] | |
| 2 | 2 | |
| 3 | 3 | use super::err2io; |
| 4 | 4 | use super::fd::WasiFd; |