Reset the GC_push_other_roots function pointer to its default

2 files changed, 7 insertions, 0 deletions

diff --git a/misc.c b/misc.c
index 7e44207d..77dd3bd6 100644
--- a/misc.c
+++ b/misc.c
@@ -1419,6 +1419,8 @@ GC_API void GC_CALL GC_enable_incremental(void)
   }
 #endif
 
+  extern void GC_reset_default_push_other_roots(void);
+
   GC_API void GC_CALL GC_deinit(void)
   {
     if (GC_is_initialized) {
diff --git a/os_dep.c b/os_dep.c
index 7bee84c1..7d9932f7 100644
--- a/os_dep.c
+++ b/os_dep.c
@@ -2789,6 +2789,11 @@ GC_API GC_push_other_roots_proc GC_CALL GC_get_push_other_roots(void)
     return GC_push_other_roots;
 }
 
+void GC_reset_default_push_other_roots(void)
+{
+    GC_push_other_roots = GC_default_push_other_roots;
+}
+
 /*
  * Routines for accessing dirty bits on virtual pages.
  * There are six ways to maintain this information: