From 4e2e469ebb3b7bf2c997f0337ff186f69c306088 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 c3e77d206 from 'master')

PR #598 (bdwgc).

* malloc.c [REDIRECT_FREE && !REDIRECT_MALLOC_IN_HEADER]
(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 e958b83a3..1b5e56435 100644
--- a/malloc.c
+++ b/malloc.c
@@ -675,7 +675,7 @@ GC_API void GC_CALL GC_free(void * p)
 #   define REDIRECT_FREE_F REDIRECT_FREE
 # endif
 
-  void free(void * p)
+  void free(void * p GC_ATTR_UNUSED)
   {
 #   ifndef IGNORE_FREE
 #     if defined(GC_LINUX_THREADS) && !defined(USE_PROC_FOR_LIBRARIES)