From f354d658402d9dbef97b4a4703aa9099eb489ee5 Mon Sep 17 00:00:00 2001
From: Richard Kistruck <rhsk@ravenbrook.com>
Date: Tue, 11 Mar 2008 19:18:50 +0000
Subject: [PATCH] Mps br/auto_header: trial fix of job001784 "amc pool +
 auto_header format: nailboards leak controlpool memory"

Passes test_runner.py (as it did before the fix).

Copied from Perforce
 Change: 164379
 ServerID: perforce.ravenbrook.com
---
 mps/code/poolamc.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/mps/code/poolamc.c b/mps/code/poolamc.c
index 7ab6e5b9875..c083abf134b 100644
--- a/mps/code/poolamc.c
+++ b/mps/code/poolamc.c
@@ -736,7 +736,13 @@ static void amcSegDestroyNailboard(Seg seg, Pool pool)
   AVERT(amcNailboard, board);
 
   arena = PoolArena(pool);
+#if 0
+  /* Believed bug; see job001784 */
   bits = SegSize(seg) >> board->markShift;
+#else
+  /* See d.m.p.Nailboard.size. */
+  bits = (SegSize(seg) + pool->format->headerSize) >> board->markShift;
+#endif
   ControlFree(arena, board->mark, BTSize(bits));
   board->sig = SigInvalid;
   ControlFree(arena, board, sizeof(amcNailboardStruct));