From c02eacd50c74398fee05f6592417c7464703c4aa Mon Sep 17 00:00:00 2001 From: Chen Chengjun Date: Wed, 22 May 2024 17:46:27 +0800 Subject: [PATCH] Use deny(unsafe_code) instead of forbid(unsafe_code) --- framework/libs/id-alloc/src/lib.rs | 2 +- kernel/aster-nix/src/lib.rs | 2 +- kernel/comps/block/src/lib.rs | 2 +- kernel/comps/console/src/lib.rs | 2 +- kernel/comps/framebuffer/src/lib.rs | 2 +- kernel/comps/input/src/lib.rs | 2 +- kernel/comps/network/src/lib.rs | 2 +- kernel/comps/time/src/lib.rs | 2 +- kernel/comps/virtio/src/lib.rs | 2 +- kernel/libs/aster-util/src/lib.rs | 2 +- kernel/libs/comp-sys/component-macro/src/lib.rs | 2 +- kernel/libs/comp-sys/component/src/lib.rs | 2 +- kernel/libs/cpio-decoder/src/lib.rs | 2 +- kernel/libs/keyable-arc/src/lib.rs | 2 +- kernel/src/lib.rs | 2 +- osdk/src/commands/new/kernel.template | 2 +- osdk/src/commands/new/lib.template | 2 +- .../work_in_workspace_templates/myos/src/lib.rs | 2 +- 18 files changed, 18 insertions(+), 18 deletions(-) diff --git a/framework/libs/id-alloc/src/lib.rs b/framework/libs/id-alloc/src/lib.rs index 63286e2f0..e0b3e63e9 100644 --- a/framework/libs/id-alloc/src/lib.rs +++ b/framework/libs/id-alloc/src/lib.rs @@ -1,7 +1,7 @@ // SPDX-License-Identifier: MPL-2.0 #![cfg_attr(not(test), no_std)] -#![forbid(unsafe_code)] +#![deny(unsafe_code)] use core::{fmt::Debug, ops::Range}; diff --git a/kernel/aster-nix/src/lib.rs b/kernel/aster-nix/src/lib.rs index fba8c8a99..fc00c12bb 100644 --- a/kernel/aster-nix/src/lib.rs +++ b/kernel/aster-nix/src/lib.rs @@ -2,7 +2,7 @@ //! The std library of Asterinas. #![no_std] -#![forbid(unsafe_code)] +#![deny(unsafe_code)] #![allow(dead_code)] #![allow(incomplete_features)] #![allow(unused_variables)] diff --git a/kernel/comps/block/src/lib.rs b/kernel/comps/block/src/lib.rs index 2c8d20724..d4124f673 100644 --- a/kernel/comps/block/src/lib.rs +++ b/kernel/comps/block/src/lib.rs @@ -27,7 +27,7 @@ //! ``` //! #![no_std] -#![forbid(unsafe_code)] +#![deny(unsafe_code)] #![feature(fn_traits)] #![feature(step_trait)] #![allow(dead_code)] diff --git a/kernel/comps/console/src/lib.rs b/kernel/comps/console/src/lib.rs index 697ea8e3e..999a06da2 100644 --- a/kernel/comps/console/src/lib.rs +++ b/kernel/comps/console/src/lib.rs @@ -2,7 +2,7 @@ //! The console device of Asterinas. #![no_std] -#![forbid(unsafe_code)] +#![deny(unsafe_code)] #![feature(fn_traits)] extern crate alloc; diff --git a/kernel/comps/framebuffer/src/lib.rs b/kernel/comps/framebuffer/src/lib.rs index e61f8568b..3c3911c2b 100644 --- a/kernel/comps/framebuffer/src/lib.rs +++ b/kernel/comps/framebuffer/src/lib.rs @@ -2,7 +2,7 @@ //! The framebuffer of Asterinas. #![no_std] -#![forbid(unsafe_code)] +#![deny(unsafe_code)] #![feature(strict_provenance)] extern crate alloc; diff --git a/kernel/comps/input/src/lib.rs b/kernel/comps/input/src/lib.rs index c6e4d4b51..0af7eed15 100644 --- a/kernel/comps/input/src/lib.rs +++ b/kernel/comps/input/src/lib.rs @@ -2,7 +2,7 @@ //! The input devices of Asterinas. #![no_std] -#![forbid(unsafe_code)] +#![deny(unsafe_code)] #![feature(fn_traits)] extern crate alloc; diff --git a/kernel/comps/network/src/lib.rs b/kernel/comps/network/src/lib.rs index f65ae99b1..1e9bb6d8b 100644 --- a/kernel/comps/network/src/lib.rs +++ b/kernel/comps/network/src/lib.rs @@ -1,7 +1,7 @@ // SPDX-License-Identifier: MPL-2.0 #![no_std] -#![forbid(unsafe_code)] +#![deny(unsafe_code)] #![feature(trait_alias)] #![feature(fn_traits)] #![feature(linked_list_cursors)] diff --git a/kernel/comps/time/src/lib.rs b/kernel/comps/time/src/lib.rs index cc00d4b8a..b00cad75c 100644 --- a/kernel/comps/time/src/lib.rs +++ b/kernel/comps/time/src/lib.rs @@ -2,7 +2,7 @@ //! The system time of Asterinas. #![no_std] -#![forbid(unsafe_code)] +#![deny(unsafe_code)] extern crate alloc; diff --git a/kernel/comps/virtio/src/lib.rs b/kernel/comps/virtio/src/lib.rs index b2faa7b62..240149423 100644 --- a/kernel/comps/virtio/src/lib.rs +++ b/kernel/comps/virtio/src/lib.rs @@ -2,7 +2,7 @@ //! The virtio of Asterinas. #![no_std] -#![forbid(unsafe_code)] +#![deny(unsafe_code)] #![allow(dead_code)] #![feature(fn_traits)] diff --git a/kernel/libs/aster-util/src/lib.rs b/kernel/libs/aster-util/src/lib.rs index 27bc910f5..fecdf1360 100644 --- a/kernel/libs/aster-util/src/lib.rs +++ b/kernel/libs/aster-util/src/lib.rs @@ -2,7 +2,7 @@ //! The util of Asterinas. #![no_std] -#![forbid(unsafe_code)] +#![deny(unsafe_code)] #![feature(int_roundings)] extern crate alloc; diff --git a/kernel/libs/comp-sys/component-macro/src/lib.rs b/kernel/libs/comp-sys/component-macro/src/lib.rs index 0f777958b..04bb06387 100644 --- a/kernel/libs/comp-sys/component-macro/src/lib.rs +++ b/kernel/libs/comp-sys/component-macro/src/lib.rs @@ -5,7 +5,7 @@ #![feature(proc_macro_diagnostic)] #![allow(dead_code)] -#![forbid(unsafe_code)] +#![deny(unsafe_code)] mod init_comp; mod priority; diff --git a/kernel/libs/comp-sys/component/src/lib.rs b/kernel/libs/comp-sys/component/src/lib.rs index 1fd0bcdda..b902e523e 100644 --- a/kernel/libs/comp-sys/component/src/lib.rs +++ b/kernel/libs/comp-sys/component/src/lib.rs @@ -4,7 +4,7 @@ //! #![no_std] -#![forbid(unsafe_code)] +#![deny(unsafe_code)] #![feature(fn_traits)] extern crate alloc; diff --git a/kernel/libs/cpio-decoder/src/lib.rs b/kernel/libs/cpio-decoder/src/lib.rs index e7cd3e25a..2e993af60 100644 --- a/kernel/libs/cpio-decoder/src/lib.rs +++ b/kernel/libs/cpio-decoder/src/lib.rs @@ -16,7 +16,7 @@ //! ``` #![cfg_attr(not(test), no_std)] -#![forbid(unsafe_code)] +#![deny(unsafe_code)] #![allow(dead_code)] extern crate alloc; diff --git a/kernel/libs/keyable-arc/src/lib.rs b/kernel/libs/keyable-arc/src/lib.rs index abab99e5f..95ca34ee0 100644 --- a/kernel/libs/keyable-arc/src/lib.rs +++ b/kernel/libs/keyable-arc/src/lib.rs @@ -104,7 +104,7 @@ #![cfg_attr(not(test), no_std)] #![feature(coerce_unsized)] #![feature(unsize)] -#![forbid(unsafe_code)] +#![deny(unsafe_code)] extern crate alloc; diff --git a/kernel/src/lib.rs b/kernel/src/lib.rs index 35197ca89..7b2f34931 100644 --- a/kernel/src/lib.rs +++ b/kernel/src/lib.rs @@ -2,7 +2,7 @@ #![no_std] #![no_main] -#![forbid(unsafe_code)] +#![deny(unsafe_code)] extern crate aster_frame; use aster_frame::prelude::*; diff --git a/osdk/src/commands/new/kernel.template b/osdk/src/commands/new/kernel.template index 6d46e4638..43fd8f718 100644 --- a/osdk/src/commands/new/kernel.template +++ b/osdk/src/commands/new/kernel.template @@ -1,5 +1,5 @@ #![no_std] -#![forbid(unsafe_code)] +#![deny(unsafe_code)] use aster_frame::prelude::*; diff --git a/osdk/src/commands/new/lib.template b/osdk/src/commands/new/lib.template index f6305bb4c..c1ad4aaf5 100644 --- a/osdk/src/commands/new/lib.template +++ b/osdk/src/commands/new/lib.template @@ -1,5 +1,5 @@ #![no_std] -#![forbid(unsafe_code)] +#![deny(unsafe_code)] #[macro_use] extern crate ktest; diff --git a/osdk/tests/examples_in_book/work_in_workspace_templates/myos/src/lib.rs b/osdk/tests/examples_in_book/work_in_workspace_templates/myos/src/lib.rs index f3dfef69b..e3b5add4c 100644 --- a/osdk/tests/examples_in_book/work_in_workspace_templates/myos/src/lib.rs +++ b/osdk/tests/examples_in_book/work_in_workspace_templates/myos/src/lib.rs @@ -1,7 +1,7 @@ // SPDX-License-Identifier: MPL-2.0 #![no_std] -#![forbid(unsafe_code)] +#![deny(unsafe_code)] use aster_frame::prelude::*;