1 files changed, 1 insertions, 0 deletions
diff --git a/mark_rts.c b/mark_rts.c
index ccc32e89..17e52491 100644
--- a/mark_rts.c
+++ b/mark_rts.c
@@ -886,6 +886,7 @@ GC_INNER void GC_push_roots(GC_bool all, ptr_t cold_gc_frame GC_ATTR_UNUSED)
     unsigned kind;
 
     GC_ASSERT(I_HOLD_LOCK());
+    GC_ASSERT(GC_is_initialized); /* needed for GC_push_all_stacks */
 
     /* Next push static data.  This must happen early on, since it is   */
     /* not robust against mark stack overflow.                          */