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


1
2
3
4
5
6
7
8
9

//@ignore-target: windows # No libc IO on Windows

fn main() -> std::io::Result<()> {
    let bytes = b"hello";
    unsafe {
        libc::write(0, bytes.as_ptr() as *const libc::c_void, 5); //~ ERROR: cannot write to stdin
    }
    Ok(())
}