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

Fix unused_unsafe with compiler-generated unsafe

Browse source
This commit is contained in:
Cameron Steffen 2021-04-29 20:54:22 -05:00
parent 39260f6d49
commit b07bb6d698
9 changed files with 43 additions and 25 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/test/ui/unsafe/unsafe-around-compiler-generated-unsafe.mir.stderr
View file

@ -1,11 +1,11 @@
error: unnecessary `unsafe` block
--> $DIR/unsafe-around-compiler-generated-unsafe.rs:9:5
--> $DIR/unsafe-around-compiler-generated-unsafe.rs:9:9
|
LL | unsafe { println!("foo"); }
| ^^^^^^ unnecessary `unsafe` block
LL | unsafe { async {}.await; }
| ^^^^^^ unnecessary `unsafe` block
|
note: the lint level is defined here
--> $DIR/unsafe-around-compiler-generated-unsafe.rs:6:9
--> $DIR/unsafe-around-compiler-generated-unsafe.rs:5:9
|
LL | #![deny(unused_unsafe)]
| ^^^^^^^^^^^^^

7
src/test/ui/unsafe/unsafe-around-compiler-generated-unsafe.rs
View file

@ -1,10 +1,11 @@
// issue #12418
// edition:2018
// revisions: mir thir
// [thir]compile-flags: -Z thir-unsafeck
#![deny(unused_unsafe)]
fn main() {
unsafe { println!("foo"); } //~ ERROR unnecessary `unsafe`
let _ = async {
unsafe { async {}.await; } //~ ERROR unnecessary `unsafe`
};
}

8
src/test/ui/unsafe/unsafe-around-compiler-generated-unsafe.thir.stderr
View file

@ -1,11 +1,11 @@
error: unnecessary `unsafe` block
--> $DIR/unsafe-around-compiler-generated-unsafe.rs:9:5
--> $DIR/unsafe-around-compiler-generated-unsafe.rs:9:9
|
LL | unsafe { println!("foo"); }
| ^^^^^^ unnecessary `unsafe` block
LL | unsafe { async {}.await; }
| ^^^^^^ unnecessary `unsafe` block
|
note: the lint level is defined here
--> $DIR/unsafe-around-compiler-generated-unsafe.rs:6:9
--> $DIR/unsafe-around-compiler-generated-unsafe.rs:5:9
|
LL | #![deny(unused_unsafe)]
| ^^^^^^^^^^^^^