From 886e96ba8e0bc2fbda89ce7c8e417ff5c5df23a8 Mon Sep 17 00:00:00 2001 From: David Lovemore Date: Mon, 3 Sep 2012 17:05:51 +0100 Subject: Fix weak band assert. we now trace weak segments as weak on a fault if we are in the weak band. Copied from Perforce Change: 179210 ServerID: perforce.ravenbrook.com --- mps/code/pool.c | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) (limited to 'mps/code/pool.c') diff --git a/mps/code/pool.c b/mps/code/pool.c index 55e70ff1462..ad96054f7f0 100644 --- a/mps/code/pool.c +++ b/mps/code/pool.c @@ -393,12 +393,10 @@ Res PoolScan(Bool *totalReturn, ScanState ss, Pool pool, Seg seg) /* The segment must belong to the pool. */ AVER(pool == SegPool(seg)); - /* We actually want to check that the rank we are scanning at */ - /* (ss->rank) is at least as big as all the ranks in */ - /* the segment (SegRankSet(seg)). It is tricky to check that, */ - /* so we only check that either ss->rank is in the segment's */ - /* ranks, or that ss->rank is exact. */ - /* See */ + /* We check that either ss->rank is in the segment's + * ranks, or that ss->rank is exact. The check is more complicated if + * we actually have multiple ranks in a seg. + * See */ AVER(ss->rank == RankEXACT || RankSetIsMember(SegRankSet(seg), ss->rank)); /* Should only scan segments which contain grey objects. */ -- cgit v1.2.1