From 23c20aab1485bf37f81622fb5bf5b4d24d12ac69 Mon Sep 17 00:00:00 2001 From: Jake Hughes Date: Thu, 8 Aug 2024 13:07:33 +0100 Subject: [PATCH] Revert "Allow finalized_malloc to delay reclaiming disclaimed objects" This functionality is deprecated in Alloy in favour of the buffered finalization API. This reverts commit 7767c87a6ac015d3d01c72d7f51810db79fe2264. --- fnlz_mlc.c | 7 ------- 1 file changed, 7 deletions(-) diff --git a/fnlz_mlc.c b/fnlz_mlc.c index 6a995f3aa..17aad6803 100644 --- a/fnlz_mlc.c +++ b/fnlz_mlc.c @@ -55,14 +55,7 @@ STATIC int GC_CALLBACK GC_finalized_disclaim(void *obj) GC_ASSERT(!GC_find_leak); (*fc->proc)((word *)obj + 1, fc->cd); } -#ifdef DISCLAIM_MARK_CHILDREN - /* Prevent the objects reachable from the disclaimed object from */ - /* being reclaimed immediately by marking them as live. Useful if */ - /* the disclaim function queues objects to be finalised later. */ - return 1; -#else return 0; -#endif } STATIC void GC_register_disclaim_proc_inner(unsigned kind,