diff options
| author | tiif <pekyuan@gmail.com> | 2025-02-26 12:47:41 +0800 |
|---|---|---|
| committer | tiif <pekyuan@gmail.com> | 2025-02-26 12:47:41 +0800 |
| commit | 6de7fd1feec480ba6af5eaa3a412255a8c8dd3d9 (patch) | |
| tree | 75954833b85ba09cc5b9ed1af5c605d6dfe9897c | |
| parent | 5e4c582b3e125c1260d05609aee276155b0e9b72 (diff) | |
| download | rust-6de7fd1feec480ba6af5eaa3a412255a8c8dd3d9.tar.gz rust-6de7fd1feec480ba6af5eaa3a412255a8c8dd3d9.zip | |
Resolve more FIXMEs
| -rw-r--r-- | src/tools/miri/tests/pass-dep/libc/libc-pipe.rs | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/tools/miri/tests/pass-dep/libc/libc-pipe.rs b/src/tools/miri/tests/pass-dep/libc/libc-pipe.rs index 01433edf9a3..d6072c2569e 100644 --- a/src/tools/miri/tests/pass-dep/libc/libc-pipe.rs +++ b/src/tools/miri/tests/pass-dep/libc/libc-pipe.rs @@ -56,8 +56,7 @@ fn test_pipe_threaded() { assert_eq!(res, 5); assert_eq!(buf, "abcde".as_bytes()); }); - // FIXME: we should yield here once blocking is implemented. - //thread::yield_now(); + thread::yield_now(); let data = "abcde".as_bytes().as_ptr(); let res = unsafe { libc::write(fds[1], data as *const libc::c_void, 5) }; assert_eq!(res, 5); @@ -65,14 +64,11 @@ fn test_pipe_threaded() { // Read and write from different direction let thread2 = thread::spawn(move || { - // FIXME: we should yield here once blocking is implemented. - //thread::yield_now(); + thread::yield_now(); let data = "12345".as_bytes().as_ptr(); let res = unsafe { libc::write(fds[1], data as *const libc::c_void, 5) }; assert_eq!(res, 5); }); - // FIXME: we should not yield here once blocking is implemented. - thread::yield_now(); let mut buf: [u8; 5] = [0; 5]; let res = unsafe { libc::read(fds[0], buf.as_mut_ptr().cast(), buf.len() as libc::size_t) }; assert_eq!(res, 5); |
