From dd7cbc7869c36aefa464df1486704d9277fdee37 Mon Sep 17 00:00:00 2001
From: Egor Sheremetov <egor.sheermetov@yandex.ru>
Date: Fri, 28 Jul 2023 17:15:48 +0200
Subject: [PATCH] fixed illegal use of cur_id with FULL_INVARIANT_CHECKS flag

---
 runtime/gc.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/runtime/gc.c b/runtime/gc.c
index 646c9152b..745f1eeb1 100644
--- a/runtime/gc.c
+++ b/runtime/gc.c
@@ -741,6 +741,7 @@ lama_type get_type_header_ptr (void *ptr) {
       fprintf(stderr, "ERROR: get_type_header_ptr: unknown object header, cur_id=%d", cur_id);
       raise(SIGINT);   // only for debug purposes
 #else
+#ifdef FULL_INVARIANT_CHECKS
       fprintf(stderr,
               "ERROR: get_type_header_ptr: unknown object header, ptr is %p, tag %i, heap size is "
               "%d cur_id=%d stack_top=%p stack_bot=%p ",
@@ -752,6 +753,7 @@ lama_type get_type_header_ptr (void *ptr) {
               (void *)__gc_stack_bottom);
       FILE *heap_before_compaction = print_objects_traversal("dump_kill", 1);
       fclose(heap_before_compaction);
+#endif
       kill(getpid(), SIGSEGV);
 #endif
       exit(1);