Fix pthread_join when thread is registered in thread key destructor

* pthread_support.c (WRAP_FUNC(pthread_join)): Remove assertion that
thread is finished; call GC_delete_gc_thread only if thread is
finished; add comment.
* win32_threads.c [GC_PTHREADS] (GC_pthread_join): Call
GC_delete_gc_thread_no_free and GC_INTERNAL_FREE only if thread is
finished.

diff --git a/pthread_support.c b/pthread_support.c
index 6a6419bbbd4b3d119e76f2891125d98de00e73dc..c9ef9599dec58c8ecc14e6411f9bffe8e339a251 100644 (file)
--- a/pthread_support.c
+++ b/pthread_support.c
@@ -1507,9 +1507,11 @@ GC_API int WRAP_FUNC(pthread_join)(pthread_t thread, void **retval)
 # endif
     if (result == 0) {
         LOCK();
-        /* Here the pthread thread id may have been recycled. */
-        GC_ASSERT((t -> flags & FINISHED) != 0);
-        GC_delete_gc_thread(t);
+        /* Here the pthread thread id may have been recycled.           */
+        /* Delete the thread from GC_threads (unless it has been        */
+        /* registered again from the client thread key destructor).     */
+        if ((t -> flags & FINISHED) != 0)
+          GC_delete_gc_thread(t);
         UNLOCK();
     }
     return result;

diff --git a/win32_threads.c b/win32_threads.c
index f3b80b44dd7f62af68bbb4364a17b6a5aa8e7282..7313c78cd49cd6125967e78ad5d8bcc85ff133a6 100644 (file)
--- a/win32_threads.c
+++ b/win32_threads.c
@@ -2555,8 +2555,10 @@ GC_INNER void GC_thr_init(void)
 #     endif
 
       LOCK();
+      if ((t -> flags & FINISHED) != 0) {
         GC_delete_gc_thread_no_free(t);
         GC_INTERNAL_FREE(t);
+      }
       UNLOCK();
     }