From c72e8f6e28e33c9a8358ea7c5e839179719e031c Mon Sep 17 00:00:00 2001
From: Kristian Larsson <kristian@spritelink.net>
Date: Wed, 20 Dec 2023 23:15:33 +0100
Subject: [PATCH] Eliminate 'unused parameter' gcc warning in free() if
 IGNORE_FREE (a cherry-pick of commit 6564eddfc from 'release-7_6')

PR #598 (bdwgc).

* malloc.c [REDIRECT_FREE] (free): Specify p is an unused argument.
---
 malloc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/malloc.c b/malloc.c
index 530f409e5..b9ecc1a74 100644
--- a/malloc.c
+++ b/malloc.c
@@ -583,7 +583,7 @@ GC_API void GC_CALL GC_free(void * p)
 #endif
 
 #ifdef REDIRECT_FREE
-  void free(void * p)
+  void free(void * p GC_ATTR_UNUSED)
   {
 #   if defined(GC_LINUX_THREADS) && !defined(USE_PROC_FOR_LIBRARIES)
         {