We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 75bbe38 commit 1f53be1Copy full SHA for 1f53be1
1 file changed
src/tools/miri/src/concurrency/thread.rs
@@ -386,6 +386,7 @@ impl<'mir, 'tcx: 'mir> ThreadManager<'mir, 'tcx> {
386
data_race: Option<&mut data_race::GlobalState>,
387
) -> InterpResult<'tcx> {
388
if self.threads[joined_thread_id].join_status == ThreadJoinStatus::Detached {
389
+ // On Windows this corresponds to joining on a closed handle.
390
throw_ub_format!("trying to join a detached thread");
391
}
392
0 commit comments