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/poolabs.c | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

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

diff --git a/mps/code/poolabs.c b/mps/code/poolabs.c
index 80b7f5323be..9834feb711d 100644
--- a/mps/code/poolabs.c
+++ b/mps/code/poolabs.c
@@ -413,9 +413,12 @@ Res PoolSingleAccess(Pool pool, Seg seg, Addr addr,
       /* Check that the reference is aligned to a word boundary */
       /* (we assume it is not a reference otherwise). */
       if(WordIsAligned((Word)ref, sizeof(Word))) {
-        /* See the note in TraceSegAccess about using RankEXACT here */
+        Rank rank;
+        /* See the note in TraceRankForAccess */
         /* (<code/trace.c#scan.conservative>). */
-        TraceScanSingleRef(arena->flippedTraces, RankEXACT, arena,
+        
+        rank = TraceRankForAccess(arena, seg);
+        TraceScanSingleRef(arena->flippedTraces, rank, arena,
                            seg, (Ref *)addr);
       }
     }
-- 
cgit v1.2.1