sync with w3m-0.2.2-inu-1.1/gc

2001-12-20 00:37:29 +00:00
parent e92622a345
commit 548b9dd8db
54 changed files with 1604 additions and 473 deletions
--- a/gc/allchblk.c
+++ b/gc/allchblk.c
@@ -774,6 +774,7 @@ signed_word size;
      if (HBLK_IS_FREE(hhdr)) {
        GC_printf1("Duplicate large block deallocation of 0x%lx\n",
        	   (unsigned long) hbp);
+	ABORT("Duplicate large block deallocation");
      }

    GC_ASSERT(IS_MAPPED(hhdr));