-
Notifications
You must be signed in to change notification settings - Fork 12.6k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Run THIR unsafeck on
unsafe_op_in_unsafe_fn test
- Loading branch information
1 parent
f837077
commit d2c2ba8
Showing
3 changed files
with
141 additions
and
16 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
122 changes: 122 additions & 0 deletions
122
src/test/ui/unsafe/rfc-2585-unsafe_op_in_unsafe_fn.thir.stderr
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,122 @@ | ||
| error: call to unsafe function is unsafe and requires unsafe block (error E0133) | ||
| --> $DIR/rfc-2585-unsafe_op_in_unsafe_fn.rs:12:5 | ||
| | | ||
| LL | unsf(); | ||
| | ^^^^^^ call to unsafe function | ||
| | | ||
| note: the lint level is defined here | ||
| --> $DIR/rfc-2585-unsafe_op_in_unsafe_fn.rs:4:9 | ||
| | | ||
| LL | #![deny(unsafe_op_in_unsafe_fn)] | ||
| | ^^^^^^^^^^^^^^^^^^^^^^ | ||
| = note: consult the function's documentation for information on how to avoid undefined behavior | ||
|
|
||
| error: dereference of raw pointer is unsafe and requires unsafe block (error E0133) | ||
| --> $DIR/rfc-2585-unsafe_op_in_unsafe_fn.rs:14:5 | ||
| | | ||
| LL | *PTR; | ||
| | ^^^^ dereference of raw pointer | ||
| | | ||
| = note: raw pointers may be NULL, dangling or unaligned; they can violate aliasing rules and cause data races: all of these are undefined behavior | ||
|
|
||
| error: use of mutable static is unsafe and requires unsafe block (error E0133) | ||
| --> $DIR/rfc-2585-unsafe_op_in_unsafe_fn.rs:16:5 | ||
| | | ||
| LL | VOID = (); | ||
| | ^^^^ use of mutable static | ||
| | | ||
| = note: mutable statics can be mutated by multiple threads: aliasing violations or data races will cause undefined behavior | ||
|
|
||
| error: unnecessary `unsafe` block | ||
| --> $DIR/rfc-2585-unsafe_op_in_unsafe_fn.rs:19:5 | ||
| | | ||
| LL | unsafe {} | ||
| | ^^^^^^ unnecessary `unsafe` block | ||
| | | ||
| note: the lint level is defined here | ||
| --> $DIR/rfc-2585-unsafe_op_in_unsafe_fn.rs:5:9 | ||
| | | ||
| LL | #![deny(unused_unsafe)] | ||
| | ^^^^^^^^^^^^^ | ||
|
|
||
| error: call to unsafe function is unsafe and requires unsafe block (error E0133) | ||
| --> $DIR/rfc-2585-unsafe_op_in_unsafe_fn.rs:27:5 | ||
| | | ||
| LL | unsf(); | ||
| | ^^^^^^ call to unsafe function | ||
| | | ||
| note: the lint level is defined here | ||
| --> $DIR/rfc-2585-unsafe_op_in_unsafe_fn.rs:25:8 | ||
| | | ||
| LL | #[deny(warnings)] | ||
| | ^^^^^^^^ | ||
| = note: `#[deny(unsafe_op_in_unsafe_fn)]` implied by `#[deny(warnings)]` | ||
| = note: consult the function's documentation for information on how to avoid undefined behavior | ||
|
|
||
| error: dereference of raw pointer is unsafe and requires unsafe block (error E0133) | ||
| --> $DIR/rfc-2585-unsafe_op_in_unsafe_fn.rs:29:5 | ||
| | | ||
| LL | *PTR; | ||
| | ^^^^ dereference of raw pointer | ||
| | | ||
| = note: raw pointers may be NULL, dangling or unaligned; they can violate aliasing rules and cause data races: all of these are undefined behavior | ||
|
|
||
| error: use of mutable static is unsafe and requires unsafe block (error E0133) | ||
| --> $DIR/rfc-2585-unsafe_op_in_unsafe_fn.rs:31:5 | ||
| | | ||
| LL | VOID = (); | ||
| | ^^^^ use of mutable static | ||
| | | ||
| = note: mutable statics can be mutated by multiple threads: aliasing violations or data races will cause undefined behavior | ||
|
|
||
| error: unnecessary `unsafe` block | ||
| --> $DIR/rfc-2585-unsafe_op_in_unsafe_fn.rs:33:5 | ||
| | | ||
| LL | unsafe {} | ||
| | ^^^^^^ unnecessary `unsafe` block | ||
|
|
||
| error: unnecessary `unsafe` block | ||
| --> $DIR/rfc-2585-unsafe_op_in_unsafe_fn.rs:47:14 | ||
| | | ||
| LL | unsafe { unsafe { unsf() } } | ||
| | ------ ^^^^^^ unnecessary `unsafe` block | ||
| | | | ||
| | because it's nested under this `unsafe` block | ||
|
|
||
| error: unnecessary `unsafe` block | ||
| --> $DIR/rfc-2585-unsafe_op_in_unsafe_fn.rs:58:5 | ||
| | | ||
| LL | unsafe fn allow_level() { | ||
| | ----------------------- because it's nested under this `unsafe` fn | ||
| ... | ||
| LL | unsafe { unsf() } | ||
| | ^^^^^^ unnecessary `unsafe` block | ||
|
|
||
| error: unnecessary `unsafe` block | ||
| --> $DIR/rfc-2585-unsafe_op_in_unsafe_fn.rs:70:9 | ||
| | | ||
| LL | unsafe fn nested_allow_level() { | ||
| | ------------------------------ because it's nested under this `unsafe` fn | ||
| ... | ||
| LL | unsafe { unsf() } | ||
| | ^^^^^^ unnecessary `unsafe` block | ||
|
|
||
| error[E0133]: call to unsafe function is unsafe and requires unsafe block | ||
| --> $DIR/rfc-2585-unsafe_op_in_unsafe_fn.rs:76:5 | ||
| | | ||
| LL | unsf(); | ||
| | ^^^^^^ call to unsafe function | ||
| | | ||
| = note: consult the function's documentation for information on how to avoid undefined behavior | ||
|
|
||
| error[E0133]: call to unsafe function is unsafe and requires unsafe function or block | ||
| --> $DIR/rfc-2585-unsafe_op_in_unsafe_fn.rs:80:9 | ||
| | | ||
| LL | unsf(); | ||
| | ^^^^^^ call to unsafe function | ||
| | | ||
| = note: consult the function's documentation for information on how to avoid undefined behavior | ||
|
|
||
| error: aborting due to 13 previous errors | ||
|
|
||
| For more information about this error, try `rustc --explain E0133`. |