GC_INIT() checks if the GC is has already been initialized.
Don't check it a second time.

libga68/ChangeLog:

        PR algol68/123733
        * ga68-alloc.c (_libga68_init_heap):

Signed-off-by: Pietro Monteiro <[email protected]>
---
 libga68/ga68-alloc.c | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/libga68/ga68-alloc.c b/libga68/ga68-alloc.c
index df8a8956c52..0a749cd5984 100644
--- a/libga68/ga68-alloc.c
+++ b/libga68/ga68-alloc.c
@@ -48,11 +48,8 @@ _libga68_malloc_internal (size_t size)
 void
 _libga68_init_heap (void)
 {
-  if (!GC_is_init_called ())
-    {
-      GC_INIT ();
-      /*      GC_allow_register_threads (); */
-    }
+  GC_INIT ();
+  /* GC_allow_register_threads (); */
 }
 
 void *

base-commit: 2d626c4eb68a33a13a3d497364c493f3b71fb9e7
-- 
2.43.0

Reply via email to