diff options
| author | Ralf Jung <post@ralfj.de> | 2025-05-18 12:07:38 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-05-18 12:07:38 +0000 |
| commit | 3c50b9be19fc998aca6016ff4c17e70f51af6b5d (patch) | |
| tree | 192d4b2dd7afd9aa8530b3bc1c2a13e198b93d5b | |
| parent | 0abf62f692d6e963a3c8cfdc402586a2be7bac51 (diff) | |
| parent | f9a75a00b4df355f439cc91b0a660ac508ac9d46 (diff) | |
| download | rust-3c50b9be19fc998aca6016ff4c17e70f51af6b5d.tar.gz rust-3c50b9be19fc998aca6016ff4c17e70f51af6b5d.zip | |
Merge pull request #4322 from tiif/move_test
Add more comments to libc-fs-with-isolation test
| -rw-r--r-- | src/tools/miri/tests/pass-dep/libc/libc-fs-with-isolation.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/tools/miri/tests/pass-dep/libc/libc-fs-with-isolation.rs b/src/tools/miri/tests/pass-dep/libc/libc-fs-with-isolation.rs index cffcf4a867f..06a8cc7f487 100644 --- a/src/tools/miri/tests/pass-dep/libc/libc-fs-with-isolation.rs +++ b/src/tools/miri/tests/pass-dep/libc/libc-fs-with-isolation.rs @@ -11,6 +11,10 @@ fn main() { assert!(libc::fcntl(1, libc::F_DUPFD, 0) >= 0); } + // Although `readlink` and `stat` require disable-isolation mode + // to properly run, they are tested with isolation mode on to check the error emitted + // with `-Zmiri-isolation-error=warn-nobacktrace`. + // test `readlink` let mut buf = vec![0; "foo_link.txt".len() + 1]; unsafe { |