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 bdc3a89dca9d3e156c168c02987280d163c6f194..72fc04486ce5950ab399de741bdabe865e253501 100644 (file)
--- a/include/gc.h
+++ b/include/gc.h
@@ -1138,6 +1138,7 @@ GC_API int GC_CALL GC_unregister_long_link(void ** /* link */);
         /* registration by either of the above two routines.    */
 
 /* 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);