diff options
| author | Fumitoshi UKAI <ukai@debian.or.jp> | 2001-12-20 00:37:29 +0000 |
|---|---|---|
| committer | Fumitoshi UKAI <ukai@debian.or.jp> | 2001-12-20 00:37:29 +0000 |
| commit | 548b9dd8dbfa0dbe5247d9b4af7e388855beb506 (patch) | |
| tree | 81b92ab0e12a687937e7948736fcb280dbc8d6c6 /gc/allchblk.c | |
| parent | [w3m-dev 02655] print version and compile options (diff) | |
| download | w3m-548b9dd8dbfa0dbe5247d9b4af7e388855beb506.tar.gz w3m-548b9dd8dbfa0dbe5247d9b4af7e388855beb506.zip | |
sync with w3m-0.2.2-inu-1.1/gc
Diffstat (limited to '')
| -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)); |