src/tools/miri/tests/fail-dep/libc/fs/read_from_stdout.rs


1
2
3
4
5
6
7
8
9
10

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

fn main() -> std::io::Result<()> {
    let mut bytes = [0u8; 512];
    unsafe {
        libc::read(1, bytes.as_mut_ptr() as *mut libc::c_void, 512); //~ ERROR: cannot read from stdout
    }
    Ok(())
}