make unaligned_references lint deny-by-default
This commit is contained in:
parent
de392c7d31
commit
e30d6d9096
13 changed files with 39 additions and 41 deletions
|
@ -27,7 +27,6 @@
|
||||||
#![feature(thread_id_value)]
|
#![feature(thread_id_value)]
|
||||||
#![feature(vec_into_raw_parts)]
|
#![feature(vec_into_raw_parts)]
|
||||||
#![allow(rustc::default_hash_types)]
|
#![allow(rustc::default_hash_types)]
|
||||||
#![deny(unaligned_references)]
|
|
||||||
#![allow(rustc::potential_query_instability)]
|
#![allow(rustc::potential_query_instability)]
|
||||||
|
|
||||||
#[macro_use]
|
#[macro_use]
|
||||||
|
|
|
@ -1110,8 +1110,6 @@ declare_lint! {
|
||||||
/// ### Example
|
/// ### Example
|
||||||
///
|
///
|
||||||
/// ```rust,compile_fail
|
/// ```rust,compile_fail
|
||||||
/// #![deny(unaligned_references)]
|
|
||||||
///
|
|
||||||
/// #[repr(packed)]
|
/// #[repr(packed)]
|
||||||
/// pub struct Foo {
|
/// pub struct Foo {
|
||||||
/// field1: u64,
|
/// field1: u64,
|
||||||
|
@ -1139,7 +1137,7 @@ declare_lint! {
|
||||||
/// [undefined behavior]: https://doc.rust-lang.org/reference/behavior-considered-undefined.html
|
/// [undefined behavior]: https://doc.rust-lang.org/reference/behavior-considered-undefined.html
|
||||||
/// [issue #82523]: https://github.com/rust-lang/rust/issues/82523
|
/// [issue #82523]: https://github.com/rust-lang/rust/issues/82523
|
||||||
pub UNALIGNED_REFERENCES,
|
pub UNALIGNED_REFERENCES,
|
||||||
Warn,
|
Deny,
|
||||||
"detects unaligned references to fields of packed structs",
|
"detects unaligned references to fields of packed structs",
|
||||||
@future_incompatible = FutureIncompatibleInfo {
|
@future_incompatible = FutureIncompatibleInfo {
|
||||||
reference: "issue #82523 <https://github.com/rust-lang/rust/issues/82523>",
|
reference: "issue #82523 <https://github.com/rust-lang/rust/issues/82523>",
|
||||||
|
|
|
@ -20,13 +20,13 @@ fn let_wild_gets_unsafe_field() {
|
||||||
let u1 = U { a: I(0) };
|
let u1 = U { a: I(0) };
|
||||||
let u2 = U { a: I(1) };
|
let u2 = U { a: I(1) };
|
||||||
let p = P { a: &2, b: &3 };
|
let p = P { a: &2, b: &3 };
|
||||||
let _ = &p.b; //~ WARN reference to packed field
|
let _ = &p.b; //~ ERROR reference to packed field
|
||||||
//~^ WARN will become a hard error
|
//~^ WARN will become a hard error
|
||||||
let _ = u1.a; // #53114: should eventually signal error as well
|
let _ = u1.a; // #53114: should eventually signal error as well
|
||||||
let _ = &u2.a; //~ ERROR [E0133]
|
let _ = &u2.a; //~ ERROR [E0133]
|
||||||
|
|
||||||
// variation on above with `_` in substructure
|
// variation on above with `_` in substructure
|
||||||
let (_,) = (&p.b,); //~ WARN reference to packed field
|
let (_,) = (&p.b,); //~ ERROR reference to packed field
|
||||||
//~^ WARN will become a hard error
|
//~^ WARN will become a hard error
|
||||||
let (_,) = (u1.a,); //~ ERROR [E0133]
|
let (_,) = (u1.a,); //~ ERROR [E0133]
|
||||||
let (_,) = (&u2.a,); //~ ERROR [E0133]
|
let (_,) = (&u2.a,); //~ ERROR [E0133]
|
||||||
|
@ -36,13 +36,13 @@ fn match_unsafe_field_to_wild() {
|
||||||
let u1 = U { a: I(0) };
|
let u1 = U { a: I(0) };
|
||||||
let u2 = U { a: I(1) };
|
let u2 = U { a: I(1) };
|
||||||
let p = P { a: &2, b: &3 };
|
let p = P { a: &2, b: &3 };
|
||||||
match &p.b { _ => { } } //~ WARN reference to packed field
|
match &p.b { _ => { } } //~ ERROR reference to packed field
|
||||||
//~^ WARN will become a hard error
|
//~^ WARN will become a hard error
|
||||||
match u1.a { _ => { } } //~ ERROR [E0133]
|
match u1.a { _ => { } } //~ ERROR [E0133]
|
||||||
match &u2.a { _ => { } } //~ ERROR [E0133]
|
match &u2.a { _ => { } } //~ ERROR [E0133]
|
||||||
|
|
||||||
// variation on above with `_` in substructure
|
// variation on above with `_` in substructure
|
||||||
match (&p.b,) { (_,) => { } } //~ WARN reference to packed field
|
match (&p.b,) { (_,) => { } } //~ ERROR reference to packed field
|
||||||
//~^ WARN will become a hard error
|
//~^ WARN will become a hard error
|
||||||
match (u1.a,) { (_,) => { } } //~ ERROR [E0133]
|
match (u1.a,) { (_,) => { } } //~ ERROR [E0133]
|
||||||
match (&u2.a,) { (_,) => { } } //~ ERROR [E0133]
|
match (&u2.a,) { (_,) => { } } //~ ERROR [E0133]
|
||||||
|
|
|
@ -1,16 +1,16 @@
|
||||||
warning: reference to packed field is unaligned
|
error: reference to packed field is unaligned
|
||||||
--> $DIR/issue-53114-safety-checks.rs:23:13
|
--> $DIR/issue-53114-safety-checks.rs:23:13
|
||||||
|
|
|
|
||||||
LL | let _ = &p.b;
|
LL | let _ = &p.b;
|
||||||
| ^^^^
|
| ^^^^
|
||||||
|
|
|
|
||||||
= note: `#[warn(unaligned_references)]` on by default
|
= note: `#[deny(unaligned_references)]` on by default
|
||||||
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
|
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
|
||||||
= note: for more information, see issue #82523 <https://github.com/rust-lang/rust/issues/82523>
|
= note: for more information, see issue #82523 <https://github.com/rust-lang/rust/issues/82523>
|
||||||
= note: fields of packed structs are not properly aligned, and creating a misaligned reference is undefined behavior (even if that reference is never dereferenced)
|
= note: fields of packed structs are not properly aligned, and creating a misaligned reference is undefined behavior (even if that reference is never dereferenced)
|
||||||
= help: copy the field contents to a local variable, or replace the reference with a raw pointer and use `read_unaligned`/`write_unaligned` (loads and stores via `*p` must be properly aligned even when using raw pointers)
|
= help: copy the field contents to a local variable, or replace the reference with a raw pointer and use `read_unaligned`/`write_unaligned` (loads and stores via `*p` must be properly aligned even when using raw pointers)
|
||||||
|
|
||||||
warning: reference to packed field is unaligned
|
error: reference to packed field is unaligned
|
||||||
--> $DIR/issue-53114-safety-checks.rs:29:17
|
--> $DIR/issue-53114-safety-checks.rs:29:17
|
||||||
|
|
|
|
||||||
LL | let (_,) = (&p.b,);
|
LL | let (_,) = (&p.b,);
|
||||||
|
@ -21,7 +21,7 @@ LL | let (_,) = (&p.b,);
|
||||||
= note: fields of packed structs are not properly aligned, and creating a misaligned reference is undefined behavior (even if that reference is never dereferenced)
|
= note: fields of packed structs are not properly aligned, and creating a misaligned reference is undefined behavior (even if that reference is never dereferenced)
|
||||||
= help: copy the field contents to a local variable, or replace the reference with a raw pointer and use `read_unaligned`/`write_unaligned` (loads and stores via `*p` must be properly aligned even when using raw pointers)
|
= help: copy the field contents to a local variable, or replace the reference with a raw pointer and use `read_unaligned`/`write_unaligned` (loads and stores via `*p` must be properly aligned even when using raw pointers)
|
||||||
|
|
||||||
warning: reference to packed field is unaligned
|
error: reference to packed field is unaligned
|
||||||
--> $DIR/issue-53114-safety-checks.rs:39:11
|
--> $DIR/issue-53114-safety-checks.rs:39:11
|
||||||
|
|
|
|
||||||
LL | match &p.b { _ => { } }
|
LL | match &p.b { _ => { } }
|
||||||
|
@ -32,7 +32,7 @@ LL | match &p.b { _ => { } }
|
||||||
= note: fields of packed structs are not properly aligned, and creating a misaligned reference is undefined behavior (even if that reference is never dereferenced)
|
= note: fields of packed structs are not properly aligned, and creating a misaligned reference is undefined behavior (even if that reference is never dereferenced)
|
||||||
= help: copy the field contents to a local variable, or replace the reference with a raw pointer and use `read_unaligned`/`write_unaligned` (loads and stores via `*p` must be properly aligned even when using raw pointers)
|
= help: copy the field contents to a local variable, or replace the reference with a raw pointer and use `read_unaligned`/`write_unaligned` (loads and stores via `*p` must be properly aligned even when using raw pointers)
|
||||||
|
|
||||||
warning: reference to packed field is unaligned
|
error: reference to packed field is unaligned
|
||||||
--> $DIR/issue-53114-safety-checks.rs:45:12
|
--> $DIR/issue-53114-safety-checks.rs:45:12
|
||||||
|
|
|
|
||||||
LL | match (&p.b,) { (_,) => { } }
|
LL | match (&p.b,) { (_,) => { } }
|
||||||
|
@ -99,6 +99,6 @@ LL | match (&u2.a,) { (_,) => { } }
|
||||||
|
|
|
|
||||||
= note: the field may not be properly initialized: using uninitialized data will cause undefined behavior
|
= note: the field may not be properly initialized: using uninitialized data will cause undefined behavior
|
||||||
|
|
||||||
error: aborting due to 7 previous errors; 4 warnings emitted
|
error: aborting due to 11 previous errors
|
||||||
|
|
||||||
For more information about this error, try `rustc --explain E0133`.
|
For more information about this error, try `rustc --explain E0133`.
|
||||||
|
|
|
@ -1,7 +1,5 @@
|
||||||
// edition:2021
|
// edition:2021
|
||||||
|
|
||||||
// check-pass
|
|
||||||
|
|
||||||
// Given how the closure desugaring is implemented (at least at the time of writing this test),
|
// Given how the closure desugaring is implemented (at least at the time of writing this test),
|
||||||
// we don't need to truncate the captured path to a reference into a packed-struct if the field
|
// we don't need to truncate the captured path to a reference into a packed-struct if the field
|
||||||
// being referenced will be moved into the closure, since it's safe to move out a field from a
|
// being referenced will be moved into the closure, since it's safe to move out a field from a
|
||||||
|
@ -11,9 +9,8 @@
|
||||||
// inlined we will truncate the capture to access just the struct regardless of if the field
|
// inlined we will truncate the capture to access just the struct regardless of if the field
|
||||||
// might get moved into the closure.
|
// might get moved into the closure.
|
||||||
//
|
//
|
||||||
// It is possible for someone to try writing the code that relies on the desugaring to access a ref
|
// It is possible for someone to try writing the code that relies on the desugaring to create a ref
|
||||||
// into a packed-struct without explicity using unsafe. Here we test that the compiler warns the
|
// into a packed-struct. Here we test that the compiler still detects that case.
|
||||||
// user that such an access is still unsafe.
|
|
||||||
fn test_missing_unsafe_warning_on_repr_packed() {
|
fn test_missing_unsafe_warning_on_repr_packed() {
|
||||||
#[repr(packed)]
|
#[repr(packed)]
|
||||||
struct Foo { x: String }
|
struct Foo { x: String }
|
||||||
|
@ -22,7 +19,7 @@ fn test_missing_unsafe_warning_on_repr_packed() {
|
||||||
|
|
||||||
let c = || {
|
let c = || {
|
||||||
println!("{}", foo.x);
|
println!("{}", foo.x);
|
||||||
//~^ WARNING: reference to packed field is unaligned
|
//~^ ERROR: reference to packed field is unaligned
|
||||||
//~| WARNING: this was previously accepted by the compiler but is being phased out
|
//~| WARNING: this was previously accepted by the compiler but is being phased out
|
||||||
let _z = foo.x;
|
let _z = foo.x;
|
||||||
};
|
};
|
||||||
|
|
|
@ -1,15 +1,15 @@
|
||||||
warning: reference to packed field is unaligned
|
error: reference to packed field is unaligned
|
||||||
--> $DIR/repr_packed.rs:24:24
|
--> $DIR/repr_packed.rs:21:24
|
||||||
|
|
|
|
||||||
LL | println!("{}", foo.x);
|
LL | println!("{}", foo.x);
|
||||||
| ^^^^^
|
| ^^^^^
|
||||||
|
|
|
|
||||||
= note: `#[warn(unaligned_references)]` on by default
|
= note: `#[deny(unaligned_references)]` on by default
|
||||||
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
|
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
|
||||||
= note: for more information, see issue #82523 <https://github.com/rust-lang/rust/issues/82523>
|
= note: for more information, see issue #82523 <https://github.com/rust-lang/rust/issues/82523>
|
||||||
= note: fields of packed structs are not properly aligned, and creating a misaligned reference is undefined behavior (even if that reference is never dereferenced)
|
= note: fields of packed structs are not properly aligned, and creating a misaligned reference is undefined behavior (even if that reference is never dereferenced)
|
||||||
= help: copy the field contents to a local variable, or replace the reference with a raw pointer and use `read_unaligned`/`write_unaligned` (loads and stores via `*p` must be properly aligned even when using raw pointers)
|
= help: copy the field contents to a local variable, or replace the reference with a raw pointer and use `read_unaligned`/`write_unaligned` (loads and stores via `*p` must be properly aligned even when using raw pointers)
|
||||||
= note: this warning originates in the macro `$crate::format_args_nl` (in Nightly builds, run with -Z macro-backtrace for more info)
|
= note: this error originates in the macro `$crate::format_args_nl` (in Nightly builds, run with -Z macro-backtrace for more info)
|
||||||
|
|
||||||
warning: 1 warning emitted
|
error: aborting due to previous error
|
||||||
|
|
||||||
|
|
|
@ -5,7 +5,6 @@ pub struct Good {
|
||||||
aligned: [u8; 32],
|
aligned: [u8; 32],
|
||||||
}
|
}
|
||||||
|
|
||||||
#[deny(unaligned_references)]
|
|
||||||
fn main() {
|
fn main() {
|
||||||
let good = Good {
|
let good = Good {
|
||||||
data: &0,
|
data: &0,
|
||||||
|
|
|
@ -1,21 +1,17 @@
|
||||||
error: reference to packed field is unaligned
|
error: reference to packed field is unaligned
|
||||||
--> $DIR/issue-27060.rs:16:13
|
--> $DIR/issue-27060.rs:15:13
|
||||||
|
|
|
|
||||||
LL | let _ = &good.data;
|
LL | let _ = &good.data;
|
||||||
| ^^^^^^^^^^
|
| ^^^^^^^^^^
|
||||||
|
|
|
|
||||||
note: the lint level is defined here
|
= note: `#[deny(unaligned_references)]` on by default
|
||||||
--> $DIR/issue-27060.rs:8:8
|
|
||||||
|
|
|
||||||
LL | #[deny(unaligned_references)]
|
|
||||||
| ^^^^^^^^^^^^^^^^^^^^
|
|
||||||
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
|
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
|
||||||
= note: for more information, see issue #82523 <https://github.com/rust-lang/rust/issues/82523>
|
= note: for more information, see issue #82523 <https://github.com/rust-lang/rust/issues/82523>
|
||||||
= note: fields of packed structs are not properly aligned, and creating a misaligned reference is undefined behavior (even if that reference is never dereferenced)
|
= note: fields of packed structs are not properly aligned, and creating a misaligned reference is undefined behavior (even if that reference is never dereferenced)
|
||||||
= help: copy the field contents to a local variable, or replace the reference with a raw pointer and use `read_unaligned`/`write_unaligned` (loads and stores via `*p` must be properly aligned even when using raw pointers)
|
= help: copy the field contents to a local variable, or replace the reference with a raw pointer and use `read_unaligned`/`write_unaligned` (loads and stores via `*p` must be properly aligned even when using raw pointers)
|
||||||
|
|
||||||
error: reference to packed field is unaligned
|
error: reference to packed field is unaligned
|
||||||
--> $DIR/issue-27060.rs:18:13
|
--> $DIR/issue-27060.rs:17:13
|
||||||
|
|
|
|
||||||
LL | let _ = &good.data2[0];
|
LL | let _ = &good.data2[0];
|
||||||
| ^^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^^
|
||||||
|
@ -26,7 +22,7 @@ LL | let _ = &good.data2[0];
|
||||||
= help: copy the field contents to a local variable, or replace the reference with a raw pointer and use `read_unaligned`/`write_unaligned` (loads and stores via `*p` must be properly aligned even when using raw pointers)
|
= help: copy the field contents to a local variable, or replace the reference with a raw pointer and use `read_unaligned`/`write_unaligned` (loads and stores via `*p` must be properly aligned even when using raw pointers)
|
||||||
|
|
||||||
error: reference to packed field is unaligned
|
error: reference to packed field is unaligned
|
||||||
--> $DIR/issue-27060.rs:21:13
|
--> $DIR/issue-27060.rs:20:13
|
||||||
|
|
|
|
||||||
LL | let _ = &good.data;
|
LL | let _ = &good.data;
|
||||||
| ^^^^^^^^^^
|
| ^^^^^^^^^^
|
||||||
|
@ -37,7 +33,7 @@ LL | let _ = &good.data;
|
||||||
= help: copy the field contents to a local variable, or replace the reference with a raw pointer and use `read_unaligned`/`write_unaligned` (loads and stores via `*p` must be properly aligned even when using raw pointers)
|
= help: copy the field contents to a local variable, or replace the reference with a raw pointer and use `read_unaligned`/`write_unaligned` (loads and stores via `*p` must be properly aligned even when using raw pointers)
|
||||||
|
|
||||||
error: reference to packed field is unaligned
|
error: reference to packed field is unaligned
|
||||||
--> $DIR/issue-27060.rs:23:13
|
--> $DIR/issue-27060.rs:22:13
|
||||||
|
|
|
|
||||||
LL | let _ = &good.data2[0];
|
LL | let _ = &good.data2[0];
|
||||||
| ^^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^^
|
||||||
|
|
|
@ -1,6 +1,5 @@
|
||||||
// run-pass
|
// run-pass
|
||||||
#![allow(dead_code)]
|
#![allow(dead_code)]
|
||||||
#![deny(unaligned_references)]
|
|
||||||
#![feature(raw_ref_op)]
|
#![feature(raw_ref_op)]
|
||||||
// ignore-emscripten weird assertion?
|
// ignore-emscripten weird assertion?
|
||||||
|
|
||||||
|
|
|
@ -9,6 +9,7 @@ struct Foo4C {
|
||||||
baz: usize
|
baz: usize
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#[warn(unaligned_references)]
|
||||||
pub fn main() {
|
pub fn main() {
|
||||||
let foo = Foo4C { bar: 1, baz: 2 };
|
let foo = Foo4C { bar: 1, baz: 2 };
|
||||||
let brw = &foo.baz; //~WARN reference to packed field is unaligned
|
let brw = &foo.baz; //~WARN reference to packed field is unaligned
|
||||||
|
|
|
@ -1,10 +1,14 @@
|
||||||
warning: reference to packed field is unaligned
|
warning: reference to packed field is unaligned
|
||||||
--> $DIR/packed-struct-borrow-element-64bit.rs:14:15
|
--> $DIR/packed-struct-borrow-element-64bit.rs:15:15
|
||||||
|
|
|
|
||||||
LL | let brw = &foo.baz;
|
LL | let brw = &foo.baz;
|
||||||
| ^^^^^^^^
|
| ^^^^^^^^
|
||||||
|
|
|
|
||||||
= note: `#[warn(unaligned_references)]` on by default
|
note: the lint level is defined here
|
||||||
|
--> $DIR/packed-struct-borrow-element-64bit.rs:12:8
|
||||||
|
|
|
||||||
|
LL | #[warn(unaligned_references)]
|
||||||
|
| ^^^^^^^^^^^^^^^^^^^^
|
||||||
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
|
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
|
||||||
= note: for more information, see issue #82523 <https://github.com/rust-lang/rust/issues/82523>
|
= note: for more information, see issue #82523 <https://github.com/rust-lang/rust/issues/82523>
|
||||||
= note: fields of packed structs are not properly aligned, and creating a misaligned reference is undefined behavior (even if that reference is never dereferenced)
|
= note: fields of packed structs are not properly aligned, and creating a misaligned reference is undefined behavior (even if that reference is never dereferenced)
|
||||||
|
|
|
@ -20,6 +20,7 @@ struct Foo4C {
|
||||||
baz: usize
|
baz: usize
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#[warn(unaligned_references)]
|
||||||
pub fn main() {
|
pub fn main() {
|
||||||
let foo = Foo1 { bar: 1, baz: 2 };
|
let foo = Foo1 { bar: 1, baz: 2 };
|
||||||
let brw = &foo.baz; //~WARN reference to packed field is unaligned
|
let brw = &foo.baz; //~WARN reference to packed field is unaligned
|
||||||
|
|
|
@ -1,17 +1,21 @@
|
||||||
warning: reference to packed field is unaligned
|
warning: reference to packed field is unaligned
|
||||||
--> $DIR/packed-struct-borrow-element.rs:25:15
|
--> $DIR/packed-struct-borrow-element.rs:26:15
|
||||||
|
|
|
|
||||||
LL | let brw = &foo.baz;
|
LL | let brw = &foo.baz;
|
||||||
| ^^^^^^^^
|
| ^^^^^^^^
|
||||||
|
|
|
|
||||||
= note: `#[warn(unaligned_references)]` on by default
|
note: the lint level is defined here
|
||||||
|
--> $DIR/packed-struct-borrow-element.rs:23:8
|
||||||
|
|
|
||||||
|
LL | #[warn(unaligned_references)]
|
||||||
|
| ^^^^^^^^^^^^^^^^^^^^
|
||||||
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
|
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
|
||||||
= note: for more information, see issue #82523 <https://github.com/rust-lang/rust/issues/82523>
|
= note: for more information, see issue #82523 <https://github.com/rust-lang/rust/issues/82523>
|
||||||
= note: fields of packed structs are not properly aligned, and creating a misaligned reference is undefined behavior (even if that reference is never dereferenced)
|
= note: fields of packed structs are not properly aligned, and creating a misaligned reference is undefined behavior (even if that reference is never dereferenced)
|
||||||
= help: copy the field contents to a local variable, or replace the reference with a raw pointer and use `read_unaligned`/`write_unaligned` (loads and stores via `*p` must be properly aligned even when using raw pointers)
|
= help: copy the field contents to a local variable, or replace the reference with a raw pointer and use `read_unaligned`/`write_unaligned` (loads and stores via `*p` must be properly aligned even when using raw pointers)
|
||||||
|
|
||||||
warning: reference to packed field is unaligned
|
warning: reference to packed field is unaligned
|
||||||
--> $DIR/packed-struct-borrow-element.rs:30:15
|
--> $DIR/packed-struct-borrow-element.rs:31:15
|
||||||
|
|
|
|
||||||
LL | let brw = &foo.baz;
|
LL | let brw = &foo.baz;
|
||||||
| ^^^^^^^^
|
| ^^^^^^^^
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue