rust/tests/compile-fail/unaligned_ptr_cast.rs

fn main() {
    let x = &2u16;
    let x = x as *const _ as *const u32;
    // This must fail because alignment is violated
    let _x = unsafe { *x }; //~ ERROR: tried to access memory with alignment 2, but alignment 4 is required
}
check alignment of pointers on Ref 2017-06-22 23:01:24 -05:00			`fn main() {`
			`let x = &2u16;`
			`let x = x as const _ as const u32;`
			`// This must fail because alignment is violated`
No longer check aligment and non-NULLness on `&` This breaks creating unaligned raw pointers via `&packed.field as const _`, which needs to be legal. Also it doesn't seem like LLVM still relies on this, see https://github.com/solson/miri/issues/244#issuecomment-315563640 * https://internals.rust-lang.org/t/rules-for-alignment-and-non-nullness-of-references/5430/16 We probably want to handle this invariant like the others that validation is concerned with, and only check it on function boundaries for now. 2017-07-19 13:28:35 -05:00			`let _x = unsafe { *x }; //~ ERROR: tried to access memory with alignment 2, but alignment 4 is required`
check alignment of pointers on Ref 2017-06-22 23:01:24 -05:00			`}`