Revert "Eliminate CSA false warning about null deref in array_mark_proc"

This reverts commit fc339c65ad0fffc2e5bc8332bab9c1c70329c04e.

Because that commit does not eliminate CSA false warning
if GC_ASSERTIONS is off.

diff --git a/typd_mlc.c b/typd_mlc.c
index c858bb1..7fde0a8 100644 (file)
--- a/typd_mlc.c
+++ b/typd_mlc.c
@@ -499,7 +499,6 @@ STATIC mse * GC_array_mark_proc(word * addr, mse * mark_stack_ptr,
         /* and request a mark stack expansion.                          */
         /* This cannot cause a mark stack overflow, since it replaces   */
         /* the original array entry.                                    */
-        GC_ASSERT(mark_stack_ptr != NULL);
         GC_mark_stack_too_small = TRUE;
         new_mark_stack_ptr = orig_mark_stack_ptr + 1;
         new_mark_stack_ptr -> mse_start = (ptr_t)addr;