diff options
| author | Ralf Jung <post@ralfj.de> | 2022-09-25 09:44:09 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2022-09-25 09:47:20 +0200 |
| commit | 1f53be15e1413e8f1a03578ded0c3045e893fc6c (patch) | |
| tree | 5cbbd87f6dec105323bc9e393a60de3c7cb71e68 | |
| parent | 75bbe38e53438d612de0d2ed3bc1b842153b0374 (diff) | |
| download | rust-1f53be15e1413e8f1a03578ded0c3045e893fc6c.tar.gz rust-1f53be15e1413e8f1a03578ded0c3045e893fc6c.zip | |
clarify a comment
| -rw-r--r-- | src/tools/miri/src/concurrency/thread.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/miri/src/concurrency/thread.rs b/src/tools/miri/src/concurrency/thread.rs index 0788c05be7a..a9d144eff54 100644 --- a/src/tools/miri/src/concurrency/thread.rs +++ b/src/tools/miri/src/concurrency/thread.rs @@ -386,6 +386,7 @@ impl<'mir, 'tcx: 'mir> ThreadManager<'mir, 'tcx> { data_race: Option<&mut data_race::GlobalState>, ) -> InterpResult<'tcx> { if self.threads[joined_thread_id].join_status == ThreadJoinStatus::Detached { + // On Windows this corresponds to joining on a closed handle. throw_ub_format!("trying to join a detached thread"); } |