Enable GC_is_tmp_root for all platforms

* mark_rts.c [!NO_DEBUGGING] (GC_is_tmp_root): Define for any platform
(not only for Win32); update comment.

diff --git a/mark_rts.c b/mark_rts.c
index ec11763c9c4093fff067a95348ae2397ece5f46d..cd3796b8c521830a8a0c7c2f0d16dd74d3756a28 100644 (file)
--- a/mark_rts.c
+++ b/mark_rts.c
@@ -358,9 +358,8 @@ STATIC void GC_remove_tmp_roots(void)
   }
 #endif /* !defined(MSWIN32) && !defined(MSWINCE) && !defined(CYGWIN32) */
 
-#if (defined(MSWIN32) || defined(MSWINCE) || defined(CYGWIN32)) \
-    && !defined(NO_DEBUGGING)
-  /* Not used at present (except for, may be, debugging purpose).       */
+#if !defined(NO_DEBUGGING)
+  /* For the debugging purpose only.                                    */
   /* Workaround for the OS mapping and unmapping behind our back:       */
   /* Is the address p in one of the temporary static root sections?     */
   GC_API int GC_CALL GC_is_tmp_root(void *p)
@@ -381,7 +380,7 @@ STATIC void GC_remove_tmp_roots(void)
     }
     return(FALSE);
   }
-#endif /* MSWIN32 || MSWINCE || CYGWIN32 */
+#endif /* !NO_DEBUGGING */
 
 GC_INNER ptr_t GC_approx_sp(void)
 {