tests/ui/mir/alignment/packed.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

//@ run-pass
//@ compile-flags: -C debug-assertions

#[repr(packed)]
struct Misaligner {
    _head: u8,
    tail: u64,
}

fn main() {
    let memory = [Misaligner { _head: 0, tail: 0}, Misaligner { _head: 0, tail: 0}];
    // Test that we can use addr_of! to get the address of a packed member which according to its
    // type is not aligned, but because it is a projection from a packed type is a valid place.
    let ptr0 = std::ptr::addr_of!(memory[0].tail);
    let ptr1 = std::ptr::addr_of!(memory[0].tail);
    // Even if ptr0 happens to be aligned by chance, ptr1 is not.
    assert!(!ptr0.is_aligned() || !ptr1.is_aligned());

    // And also test that we can get the addr of a packed struct then do a member read from it.
    unsafe {
        let ptr = std::ptr::addr_of!(memory[0]);
        let _tail = (*ptr).tail;

        let ptr = std::ptr::addr_of!(memory[1]);
        let _tail = (*ptr).tail;
    }
}