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 e58398dcc38ed9a275dc6a885412912e1183ebcd..4726af16c78bfb430d0f043c40cce01581384dab 100644 (file)
--- a/mark_rts.c
+++ b/mark_rts.c
@@ -364,9 +364,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)
@@ -387,7 +386,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)
 {