From ed8cd9432d6200bbd8e4f833fcd7b18e9f2af18c Mon Sep 17 00:00:00 2001
From: David Lovemore
Date: Thu, 30 Aug 2012 13:48:41 +0100
Subject: In tracescanareatagged use the alignments of pools in the condemned
 set to determine mask.

Copied from Perforce
 Change: 179117
 ServerID: perforce.ravenbrook.com

---
 mps/code/pool.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'mps/code/pool.c')

diff --git a/mps/code/pool.c b/mps/code/pool.c
index e2578cf3497..55e70ff1462 100644
--- a/mps/code/pool.c
+++ b/mps/code/pool.c
@@ -305,6 +305,8 @@ Res PoolAlloc(Addr *pReturn, Pool pool, Size size,
   /* .hasaddr.critical: The PoolHasAddr check is expensive, and in */
   /* allocation-bound programs this is on the critical path. */
   AVER_CRITICAL(PoolHasAddr(pool, *pReturn));
+  /* All allocations should be aligned to the pool's alignment */
+  AVER_CRITICAL(AddrIsAligned(*pReturn, pool->alignment));
 
   /* All PoolAllocs should advance the allocation clock, so we count */
   /* it all in the fillMutatorSize field. */
-- 
cgit v1.2.1