Prevent code analysis tool warning about GC_base unchecked result

* mark.c (GC_mark_and_push_stack): Add assertion on GC_base result is
non-null (before use in HDR).

diff --git a/mark.c b/mark.c
index 131efd9404c1e643741296910c247ff0998f1ea5..d669afdfc2685726f77b6db28761041606ccbd23 100644 (file)
--- a/mark.c
+++ b/mark.c
@@ -1417,6 +1417,7 @@ GC_API struct GC_ms_entry * GC_CALL GC_mark_and_push(void *obj,
     if (EXPECT(IS_FORWARDING_ADDR_OR_NIL(hhdr), FALSE)) {
         if (hhdr != 0) {
           r = GC_base(p);
+          GC_ASSERT(r != NULL); /* to prevent a warning */
           hhdr = HDR(r);
         }
         if (hhdr == 0) {