summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/dangling_pointers/deref-partially-dangling.rs
blob: 27040c26dc2125ffe8ba5457fd8c6b2b3011e547 (plain)
1
2
3
4
5
6
7
8
// Deref a raw ptr to access a field of a large struct, where the field
// is allocated but not the entire struct is.
fn main() {
    let x = (1, 13);
    let xptr = &x as *const _ as *const (i32, i32, i32);
    let val = unsafe { (*xptr).1 }; //~ ERROR: pointer to 12 bytes starting at offset 0 is out-of-bounds
    assert_eq!(val, 13);
}