src/tools/miri/tests/fail/alloc/reallocate-change-alloc.rs


1
2
3
4
5
6
7
8
9

use std::alloc::{alloc, realloc, Layout};

fn main() {
    unsafe {
        let x = alloc(Layout::from_size_align_unchecked(1, 1));
        let _y = realloc(x, Layout::from_size_align_unchecked(1, 1), 1);
        let _z = *x; //~ ERROR: dereferenced after this allocation got freed
    }
}