| error: deadlock: the evaluated program deadlocked | |
| --> $DIR/libc_pthread_mutex_normal_deadlock.rs:LL:CC | |
| | | |
| LL | libc::pthread_mutex_lock(&mut mutex as *mut _); | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the evaluated program deadlocked | |
| | | |
| = note: BACKTRACE: | |
| = note: inside `main` at $DIR/libc_pthread_mutex_normal_deadlock.rs:LL:CC | |
| note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace | |
| error: aborting due to 1 previous error | |