src/tools/miri/tests/fail/shims/isolated_stdin.rs


1
2
3
4
5
6
7
8
9
10
11
12

//@error-in-other-file: `read` from stdin not available when isolation is enabled
//@normalize-stderr-test: "src/sys/.*\.rs" -> "$$FILE"
//@normalize-stderr-test: "\nLL \| .*" -> ""
//@normalize-stderr-test: "\n... .*" -> ""
//@normalize-stderr-test: "\| +[|_^]+" -> "| ^"
//@normalize-stderr-test: "\n *= note:.*" -> ""
use std::io::{self, Read};

fn main() {
    let mut bytes = [0u8; 512];
    io::stdin().read(&mut bytes).unwrap();
}