Refine should_invoke_finalizers documentation

* include/gc.h (GC_should_invoke_finalizers): Add comment that it is
not synchronized.

diff --git a/include/gc.h b/include/gc.h
index 472e478433dbce8bee98b81adad211121e2abb17..c830e8de46edaa31629db068e223e720c766cb3a 100644 (file)
--- a/include/gc.h
+++ b/include/gc.h
@@ -1241,6 +1241,7 @@ GC_API GC_await_finalize_proc GC_CALL GC_get_await_finalize_proc(void);
                         /* and getter acquire the lock too.     */
 
 /* Returns !=0 if GC_invoke_finalizers has something to do.     */
+/* Does not use any synchronization.                            */
 GC_API int GC_CALL GC_should_invoke_finalizers(void);
 
 GC_API int GC_CALL GC_invoke_finalizers(void);