Workaround 'pointer used before comparison to null' code defect (pthread)
authorIvan Maidanski <ivmai@mail.ru>
Wed, 7 Dec 2016 07:40:15 +0000 (10:40 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Wed, 7 Dec 2016 07:40:15 +0000 (10:40 +0300)
commitced7cd67209acb6fde70b9a34d37bcf2189e37a4
treea53287bb762f2fd5a76a8b051827cbb0f21b7457
parent18985f65b411b9fee8f69f6608f07de7f27ee6c9
Workaround 'pointer used before comparison to null' code defect (pthread)
(fix commit 31b3afc)

* pthread_support.c [GC_PTHREADS && !GC_WIN32_THREADS && DEBUG_THREADS]
(GC_pthread_create): Do not check new_thread is non-NULL (because
new_thread is first passed to the underlying pthread_create() where
the argument is marked with "nonnull" attribute).
pthread_support.c