about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail-dep/libc/socketpair_block_write_twice.stderr
blob: c3cc2068173151e0b11e7859e759a0f05d731257 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
error: the evaluated program deadlocked
  --> RUSTLIB/std/src/sys/thread/PLATFORM.rs:LL:CC
   |
LL |         let ret = unsafe { libc::pthread_join(id, ptr::null_mut()) };
   |                                                                  ^ this thread got stuck here
   |
   = note: BACKTRACE:
   = note: inside `std::sys::thread::PLATFORM::Thread::join` at RUSTLIB/std/src/sys/thread/PLATFORM.rs:LL:CC
   = note: inside `std::thread::JoinInner::<'_, ()>::join` at RUSTLIB/std/src/thread/mod.rs:LL:CC
   = note: inside `std::thread::JoinHandle::<()>::join` at RUSTLIB/std/src/thread/mod.rs:LL:CC
note: inside `main`
  --> tests/fail-dep/libc/socketpair_block_write_twice.rs:LL:CC
   |
LL |     thread2.join().unwrap();
   |     ^^^^^^^^^^^^^^

error: the evaluated program deadlocked
   |
   = note: this thread got stuck here
   = note: (no span available)
   = note: BACKTRACE on thread `unnamed-ID`:

error: the evaluated program deadlocked
  --> tests/fail-dep/libc/socketpair_block_write_twice.rs:LL:CC
   |
LL |         let res = unsafe { libc::write(fds[0], data.as_ptr() as *const libc::c_void, data.len()) };
   |                                                                                                ^ this thread got stuck here
   |
   = note: BACKTRACE on thread `unnamed-ID`:
   = note: inside closure at tests/fail-dep/libc/socketpair_block_write_twice.rs:LL:CC

error: the evaluated program deadlocked
   |
   = note: this thread got stuck here
   = note: (no span available)
   = note: BACKTRACE on thread `unnamed-ID`:

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to 4 previous errors