//@compile-flags: -Zmiri-disable-isolation
//@ignore-target: windows # No mmap on Windows

#![feature(rustc_private)]

fn main() {
    unsafe {
        let ptr = libc::mmap(
            std::ptr::null_mut(),
            4096,
            libc::PROT_READ | libc::PROT_WRITE,
            libc::MAP_PRIVATE | libc::MAP_ANONYMOUS,
            -1,
            0,
        );
        libc::free(ptr); //~ ERROR: which is mmap memory, using C heap deallocation operation
    }
}
