Static rustc_lint::builtin::INVALID_ALIGNMENT
source · pub static INVALID_ALIGNMENT: &'static Lint
Expand description
The invalid_alignment
lint detects dereferences of misaligned pointers during
constant evaluation.
Example
ⓘ
#![feature(const_mut_refs)]
const FOO: () = unsafe {
let x = &[0_u8; 4];
let y = x.as_ptr().cast::<u32>();
let mut z = 123;
y.copy_to_nonoverlapping(&mut z, 1); // the address of a `u8` array is unknown
// and thus we don't know if it is aligned enough for copying a `u32`.
};
{{produces}}
Explanation
The compiler allowed dereferencing raw pointers irrespective of alignment during const eval due to the const evaluator at the time not making it easy or cheap to check. Now that it is both, this is not accepted anymore.
Since it was undefined behaviour to begin with, this breakage does not violate Rust’s stability guarantees. Using undefined behaviour can cause arbitrary behaviour, including failure to build.