Skip to content

Commit 3c50b9b

Browse files
authored
Merge pull request rust-lang#4322 from tiif/move_test
Add more comments to libc-fs-with-isolation test
2 parents 0abf62f + f9a75a0 commit 3c50b9b

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

src/tools/miri/tests/pass-dep/libc/libc-fs-with-isolation.rs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,10 @@ fn main() {
1111
assert!(libc::fcntl(1, libc::F_DUPFD, 0) >= 0);
1212
}
1313

14+
// Although `readlink` and `stat` require disable-isolation mode
15+
// to properly run, they are tested with isolation mode on to check the error emitted
16+
// with `-Zmiri-isolation-error=warn-nobacktrace`.
17+
1418
// test `readlink`
1519
let mut buf = vec![0; "foo_link.txt".len() + 1];
1620
unsafe {

0 commit comments

Comments
 (0)