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 a92b411557b0a7165bcbf4e6821cd34b08f84d33..956458deb4f9eb7da04585693868bac4b46f2c7a 100644 (file)
--- a/include/gc.h
+++ b/include/gc.h
@@ -1250,6 +1250,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);