2022-07-08 11:08:32 -05:00
|
|
|
//@compile-flags: -Zmiri-disable-isolation
|
2022-07-17 20:54:10 -05:00
|
|
|
//@ignore-target-windows: No libc on Windows
|
2020-08-01 06:38:28 -05:00
|
|
|
|
|
|
|
#![feature(rustc_private)]
|
|
|
|
|
|
|
|
fn main() -> std::io::Result<()> {
|
|
|
|
let mut bytes = [0u8; 512];
|
|
|
|
unsafe {
|
2022-07-11 06:44:55 -05:00
|
|
|
libc::read(1, bytes.as_mut_ptr() as *mut libc::c_void, 512); //~ ERROR: cannot read from stdout
|
2020-08-01 06:38:28 -05:00
|
|
|
}
|
|
|
|
Ok(())
|
|
|
|
}
|