diff options
Diffstat (limited to 'boehm-gc/allchblk.c')
| -rw-r--r-- | boehm-gc/allchblk.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/boehm-gc/allchblk.c b/boehm-gc/allchblk.c index 76296721416..06582ec792e 100644 --- a/boehm-gc/allchblk.c +++ b/boehm-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)); |