diff options
| author | Dai Sato <satodai@dog.intcul.tohoku.ac.jp> | 2001-11-22 17:52:28 +0000 |
|---|---|---|
| committer | Dai Sato <satodai@dog.intcul.tohoku.ac.jp> | 2001-11-22 17:52:28 +0000 |
| commit | a5067a1853b490e9c551ac2ff7c4cb58a9bb3f48 (patch) | |
| tree | 42ca751a0b79dd050082b1e87c7d8957c161c6ff /gc/allchblk.c | |
| parent | [w3m-dev 02509] (diff) | |
| download | w3m-inu-0-2-2.tar.gz w3m-inu-0-2-2.zip | |
w3m-0.2.2-inu-1.1 sourceinu-0-2-2-rel-1-1inu-0-2-2
Diffstat (limited to 'gc/allchblk.c')
| -rw-r--r-- | gc/allchblk.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gc/allchblk.c b/gc/allchblk.c index 7629672..06582ec 100644 --- 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)); |