add tag print in error in get_type_header_ptr

This commit is contained in:
danyaberezun 2023-05-31 11:33:04 +02:00
parent e4fd3c487a
commit 2a42e1e176

View file

@ -481,11 +481,12 @@ lama_type get_type_header_ptr (void *ptr) {
fprintf(stderr, "ERROR: get_type_header_ptr: unknown object header, cur_id=%d", cur_id); fprintf(stderr, "ERROR: get_type_header_ptr: unknown object header, cur_id=%d", cur_id);
raise(SIGINT); // only for debug purposes raise(SIGINT); // only for debug purposes
#else #else
fprintf(stderr, fprintf(
"ERROR: get_type_header_ptr: unknown object header, ptr is %p, " stderr,
"heap size is %d\n", "ERROR: get_type_header_ptr: unknown object header, ptr is %p, tag %i, heap size is %d\n",
ptr, ptr,
heap.size); TAG(*header),
heap.size);
#endif #endif
exit(1); exit(1);
} }