8000 uefi: Forbid unwrapped unsafe in platform modules · model-checking/verify-rust-std@a752e3b · GitHub
[go: up one dir, main page]
8000
Skip to content

Commit a752e3b

Browse files
workingjubileeworkingjubilee
committed
uefi: Forbid unwrapped unsafe in platform modules
1 parent e189d3b commit a752e3b

File tree

2 files changed

+2
-0
lines changed

2 files changed

+2
-0
lines changed

‎std/src/os/uefi/mod.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22
33
#![unstable(feature = "uefi_std", issue = "100499")]
44
#![doc(cfg(target_os = "uefi"))]
5+
#![forbid(unsafe_op_in_unsafe_fn)]
56

67
pub mod env;
78
#[path = "../windows/ffi.rs"]

‎std/src/sys/pal/uefi/mod.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,7 @@
1111
//!
1212
//! [`OsStr`]: crate::ffi::OsStr
1313
//! [`OsString`]: crate::ffi::OsString
14+
#![forbid(unsafe_op_in_unsafe_fn)]
1415

1516
pub mod alloc;
1617
pub mod args;

0 commit comments

Comments
 (0)
0