2020-05-25 15:32:46 +02:00
|
|
|
#![deny(unaligned_references)]
|
2020-05-16 16:17:07 +02:00
|
|
|
|
|
|
|
|
#[repr(packed)]
|
|
|
|
|
pub struct Good {
|
2020-05-27 20:31:17 +02:00
|
|
|
data: u64,
|
|
|
|
|
ptr: &'static u64,
|
|
|
|
|
data2: [u64; 2],
|
2020-05-16 16:17:07 +02:00
|
|
|
aligned: [u8; 32],
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
|
unsafe {
|
2020-05-27 20:31:17 +02:00
|
|
|
let good = Good { data: 0, ptr: &0, data2: [0, 0], aligned: [0; 32] };
|
2020-05-16 16:17:07 +02:00
|
|
|
|
2020-05-27 20:31:17 +02:00
|
|
|
let _ = &good.ptr; //~ ERROR reference to packed field
|
2020-05-16 16:17:07 +02:00
|
|
|
let _ = &good.data; //~ ERROR reference to packed field
|
2020-05-27 20:31:17 +02:00
|
|
|
// Error even when turned into raw pointer immediately.
|
2020-05-25 11:15:38 +02:00
|
|
|
let _ = &good.data as *const _; //~ ERROR reference to packed field
|
|
|
|
|
let _: *const _ = &good.data; //~ ERROR reference to packed field
|
2020-05-27 20:31:17 +02:00
|
|
|
// Error on method call.
|
|
|
|
|
let _ = good.data.clone(); //~ ERROR reference to packed field
|
|
|
|
|
// Error for nested fields.
|
2020-05-16 16:17:07 +02:00
|
|
|
let _ = &good.data2[0]; //~ ERROR reference to packed field
|
2020-05-27 20:31:17 +02:00
|
|
|
|
|
|
|
|
let _ = &*good.ptr; // ok, behind a pointer
|
2020-05-16 16:17:07 +02:00
|
|
|
let _ = &good.aligned; // ok, has align 1
|
|
|
|
|
let _ = &good.aligned[2]; // ok, has align 1
|
|
|
|
|
}
|
|
|
|
|
}
|