From 37a4e5c6abd679f9953871c8e4b8bbb8cc140f9a Mon Sep 17 00:00:00 2001
From: Richard Brooksby <rb@ravenbrook.com>
Date: Tue, 26 Nov 2024 23:52:59 +0000
Subject: [PATCH 1/2] Removing unused variable that triggered the
 unused-but-set-variable warning when building on macOS 14.7.1 with Clang
 15.0.

---
 code/trans.c | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/code/trans.c b/code/trans.c
index 7e0f9ec196..1ea5fb73cf 100644
--- a/code/trans.c
+++ b/code/trans.c
@@ -151,7 +151,6 @@ Res TransformAddOldNew(Transform transform,
 {
   Res res;
   Index i;
-  Count added = 0;
   Arena arena;
 
   AVERT(Transform, transform);
@@ -190,8 +189,6 @@ Res TransformAddOldNew(Transform transform,
     AVER(res != ResFAIL); /* It's a static error to add the same old twice. */
     if (res != ResOK)
       return res;
-    
-    ++added;
   }
 
   AVERT(Transform, transform);

From 8942e30fff139d08b68979a057012782340582b3 Mon Sep 17 00:00:00 2001
From: Richard Brooksby <rb@ravenbrook.com>
Date: Wed, 27 Nov 2024 12:49:13 +0000
Subject: [PATCH 2/2] Clarifying that two AVERs are implementing .assume.parked
 in response to review comment
 <https://github.com/Ravenbrook/mps/pull/298#issuecomment-2503792676>.

---
 code/trans.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/code/trans.c b/code/trans.c
index 1ea5fb73cf..3c7f83883e 100644
--- a/code/trans.c
+++ b/code/trans.c
@@ -163,8 +163,8 @@ Res TransformAddOldNew(Transform transform,
      lists (old_list, new_list), using ArenaRead.  Insisting on
      parking keeps things simple. */
   arena = transform->arena;
-  AVER(ArenaGlobals(arena)->clamped);
-  AVER(arena->busyTraces == TraceSetEMPTY);
+  AVER(ArenaGlobals(arena)->clamped);           /* .assume.parked */
+  AVER(arena->busyTraces == TraceSetEMPTY);     /* .assume.parked */
 
   res = TableGrow(transform->oldToNew, count);
   if (res != ResOK)