Rollup merge of #127836 - workingjubilee:forbid-unsafe-ops-in-xous-ue… · model-checking/verify-rust-std@f431b51 (original) (raw)
Navigation Menu
- Explore
- Pricing
Provide feedback
Saved searches
Use saved searches to filter your results more quickly
Commit f431b51
Rollup merge of rust-lang#127836 - workingjubilee:forbid-unsafe-ops-in-xous-uefi, r=tgross35
std: Forbid unwrapped unsafe ops in xous and uefi modules
File tree
4 files changed
lines changed
4 files changed
lines changed
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -2,6 +2,7 @@ | ||
2 | 2 | |
3 | 3 | #![unstable(feature = "uefi_std", issue = "100499")] |
4 | 4 | #![doc(cfg(target_os = "uefi"))] |
5 | +#![forbid(unsafe_op_in_unsafe_fn)] | |
5 | 6 | |
6 | 7 | pub mod env; |
7 | 8 | #[path = "../windows/ffi.rs"] |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,6 @@ | ||
1 | 1 | #![stable(feature = "rust1", since = "1.0.0")] |
2 | 2 | #![doc(cfg(target_os = "xous"))] |
3 | +#![forbid(unsafe_op_in_unsafe_fn)] | |
3 | 4 | |
4 | 5 | pub mod ffi; |
5 | 6 |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -11,6 +11,7 @@ | ||
11 | 11 | //! |
12 | 12 | //! [`OsStr`]: crate::ffi::OsStr |
13 | 13 | //! [`OsString`]: crate::ffi::OsString |
14 | +#![forbid(unsafe_op_in_unsafe_fn)] | |
14 | 15 | |
15 | 16 | pub mod alloc; |
16 | 17 | pub mod args; |
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 | pub mod alloc; |
4 | 4 | #[path = "../unsupported/args.rs"] |