* gc.c (mark_mem_region): Use the Valgrind API only to mark

the type field as accessible, not the whole object that
we are checking. Marking the whole object accessible hides
uninitialized field bugs!

* lib.c: And found a bug already: lazy_str was not completely
initializing all of the object fields (ls.prefix, ls.list)
before invoking memory allocating operations, making it
possible for the garbage collector to encounter uninitialized
object areas.

1 files changed, 3 insertions, 1 deletions

diff --git a/lib.c b/lib.c
index 41bf5e8f..f1079030 100644
--- a/lib.c
+++ b/lib.c
@@ -1853,7 +1853,9 @@ val lazy_str(val lst, val term, val limit)
 {
   val obj = make_obj();
   obj->ls.type = LSTR;
-  obj->ls.opts = nil; /* Must init before calling something that can gc! */
+
+  /* Must init before calling something that can gc! */
+  obj->ls.opts = obj->ls.list = obj->ls.prefix = nil;
 
   term = or2(term, string(L"\n"));