ivmai / bdwgc / 1452

73%

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%)

7239 of 9911 relevant lines covered (73.04%)

10498970.96 hits per line