ivmai / bdwgc / 1454

69%

master: 77%

push

travis-ci-com

Fix GC_thread_is_registered for finished threads
(a cherry-pick of commit 5a8c02852 from 'master')

A finished thread may still stay in GC_threads, but it is no longer
considered during a garbage collection phase, thus
GC_thread_is_registered() should return false in such a case.

* include/gc.h [GC_THREADS] (GC_thread_is_registered): Refine
comment (describe the case when the thread is marked as finished).
* pthread_support.c (GC_thread_is_registered): Return FALSE if
me->flags&FINISHED.
* win32_threads.c (GC_thread_is_registered): Return FALSE if
KNOWN_FINISHED(me).

1 of 1 new or added line in 1 file covered. (100.0%)

6139 of 8892 relevant lines covered (69.04%)

1323682.95 hits per line