Prepend '#' symbol to GC number in logged messages
authorIvan Maidanski <ivmai@mail.ru>
Mon, 10 Dec 2012 16:14:43 +0000 (20:14 +0400)
committerIvan Maidanski <ivmai@mail.ru>
Mon, 10 Dec 2012 16:14:43 +0000 (20:14 +0400)
commitded8801538e0dfa1f2f3fd2bfbb7edc3afa7681d
tree1b91221cf4362ebe9e07c0ae39a16a8246d5546d
parenta88f5da5bf2e3a76859438477a152daed3e2dedc
Prepend '#' symbol to GC number in logged messages

* alloc.c (GC_maybe_gc, GC_stopped_mark): Put '#' sign in printed
messages preceding GC_gc_no value (to identify it as a collection
number).
* include/private/gc_pmark.h (PUSH_CONTENTS_HDR): Likewise.
* malloc.c (GC_free): Likewise.
* mark.c (GC_mark_from): Likewise.
* thread_local_alloc.c (GC_malloc): Likewise.
alloc.c
include/private/gc_pmark.h
malloc.c
mark.c
thread_local_alloc.c