Report GC_pthread_join/detach failure with appropriate message
authorIvan Maidanski <ivmai@mail.ru>
Mon, 27 Feb 2012 16:44:21 +0000 (20:44 +0400)
committerIvan Maidanski <ivmai@mail.ru>
Mon, 27 Feb 2012 16:46:26 +0000 (20:46 +0400)
commit0c6693ba824272c52f7210c0658b35976640c34b
tree258fc6474195ab861755d0dffa1910fb4a412ca1
parent899dca153afc7f087b8748d6f623848f8a499fef
Report GC_pthread_join/detach failure with appropriate message

* win32_threads.c (GC_pthread_join): Call GC_lookup_pthread only if
needed (in case of pthreads-w32 target).
* win32_threads.c (GC_pthread_join, GC_pthread_detach): If no thread
is found by GC_lookup_pthread (e.g., the thread has not been created
by GC_pthread_create) then abort with the appropriate message (instead
of null pointer dereference).
win32_threads.c