Provide conservative marking interface.

GC now exports a function for marking something that might not
be an object, instead of a function for testing.
The previous way wasn't integrated with Valgrind properly,
and didn't observe the FREE flag.

* gc.c (gc_is_heap_obj): Function removed.
(mark_obj_maybe): New static function, with body consisting
of code moved from mark_mem_region.
(mark_mem_region): Moved code replaced by call to mark_obj_maybe.
(gc_conservative_mark): New function, wraps mark_obj_maybe.

* gc.h (gc_conservative_mark): Declared.
(gc_is_heap_obj): Declaration removed.

* parser.c (yy_tok_mark): Use gc_conservative_mark
instead of gc_is_heap_obj check and gc_mark.

1 files changed, 1 insertions, 4 deletions

diff --git a/parser.c b/parser.c
index c5342ae9..bb5205f2 100644
--- a/parser.c
+++ b/parser.c
@@ -54,10 +54,7 @@ static val stream_parser_hash;
 
 static void yy_tok_mark(struct yy_token *tok)
 {
-  obj_t *ptr = tok->yy_lval.val;
-
-  if (gc_is_heap_obj(ptr))
-    gc_mark(ptr);
+  gc_conservative_mark(tok->yy_lval.val);
 }
 
 static void parser_mark(val obj)