src/tools/miri/tests/fail/shims/fs/read_from_stdout.rs

   1 //@compile-flags: -Zmiri-disable-isolation
   2 //@ignore-target-windows: No libc on Windows
   3
   4 fn main() -> std::io::Result<()> {
   5     let mut bytes = [0u8; 512];
   6     unsafe {
   7         libc::read(1, bytes.as_mut_ptr() as *mut libc::c_void, 512); //~ ERROR: cannot read from stdout
   8     }
   9     Ok(())
  10 }