user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fire unsafe_code lint on unsafe extern blocks

Browse source
This commit is contained in:
Santiago Pastorino 2024-07-09 17:35:51 -03:00
parent c3774be741
commit a3ef94e80e
No known key found for this signature in database
GPG key ID: 8131A24E0C79EFAF
5 changed files with 41 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

14
tests/ui/lint/unsafe_code/unsafe-extern-blocks.rs Normal file
View file

@ -0,0 +1,14 @@
#![feature(unsafe_extern_blocks)]
#![deny(unsafe_code)]
#[allow(unsafe_code)]
unsafe extern "C" {
fn foo();
}
unsafe extern "C" {
//~^ ERROR usage of an `unsafe extern` block [unsafe_code]
fn bar();
}
fn main() {}

17
tests/ui/lint/unsafe_code/unsafe-extern-blocks.stderr Normal file
View file

@ -0,0 +1,17 @@
error: usage of an `unsafe extern` block
--> $DIR/unsafe-extern-blocks.rs:9:1
|
LL | / unsafe extern "C" {
LL | |
LL | | fn bar();
LL | | }
| |_^
|
note: the lint level is defined here
--> $DIR/unsafe-extern-blocks.rs:2:9
|
LL | #![deny(unsafe_code)]
| ^^^^^^^^^^^
error: aborting due to 1 previous error