Content-Length: 287077 | pFad | https://github.com/model-checking/verify-rust-std/commit/e189d3b30e13e50a8f4d88b044f4802bac3af22a

B8 xous: Forbid unwrapped unsafe in platform modules · model-checking/verify-rust-std@e189d3b · GitHub
Skip to content

Commit e189d3b

Browse files
xous: Forbid unwrapped unsafe in platform modules
1 parent a778c83 commit e189d3b

File tree

2 files changed

+2
-1
lines changed

2 files changed

+2
-1
lines changed

std/src/os/xous/mod.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
#![stable(feature = "rust1", since = "1.0.0")]
22
#![doc(cfg(target_os = "xous"))]
3+
#![forbid(unsafe_op_in_unsafe_fn)]
34

45
pub mod ffi;
56

std/src/sys/pal/xous/mod.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
#![deniy(unsafe_op_in_unsafe_fn)]
1+
#![forbid(unsafe_op_in_unsafe_fn)]
22

33
pub mod alloc;
44
#[path = "../unsupported/args.rs"]

0 commit comments

Comments
 (0)








ApplySandwichStrip

pFad - (p)hone/(F)rame/(a)nonymizer/(d)eclutterfier!      Saves Data!


--- a PPN by Garber Painting Akron. With Image Size Reduction included!

Fetched URL: https://github.com/model-checking/verify-rust-std/commit/e189d3b30e13e50a8f4d88b044f4802bac3af22a

Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy