Revert "Prevent code analysis tool warning about GC_base unchecked result"

(It breaks gctest if assertion is on.)

This reverts commit 70fbfadd3842c828ae9dd10ef3212a2d0957ca86.

diff --git a/mark.c b/mark.c
index 5a23388424d0efc77f41e7bc4d75979a1a2989e4..de57bec14e0c8be8c4ef3cd65164c0cef04fc03b 100644 (file)
--- a/mark.c
+++ b/mark.c
@@ -1439,7 +1439,6 @@ 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) {