mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-04-06 14:22:31 -07:00
Code Issues Projects Releases Wiki Activity

Improve the check on a segment's scan state summary.

Browse source 
See mail.richard.1997-06-24.15-33 and mail.nickb.1997-06-24.15-49.

Copied from Perforce
 Change: 18386
 ServerID: perforce.ravenbrook.com
This commit is contained in:
Nick Barnes 1997-06-25 15:56:54 +01:00
parent a0e442802a
commit c3223cca4b
1 changed files with 7 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

12
mps/src/trace.c
View file

@ -1,12 +1,12 @@
/* impl.c.trace: GENERIC TRACER IMPLEMENTATION
*
* $HopeName: MMsrc!trace.c(trunk.29) $
* $HopeName: MMsrc!trace.c(trunk.30) $
* Copyright (C) 1997 The Harlequin Group Limited. All rights reserved.
*/
#include "mpm.h"
SRCID(trace, "$HopeName: MMsrc!trace.c(trunk.29) $");
SRCID(trace, "$HopeName: MMsrc!trace.c(trunk.30) $");
/* ScanStateCheck -- check consistency of a ScanState object */
@ -609,9 +609,11 @@ static Res TraceScan(TraceSet ts, Rank rank,
return res;
}
/* The summary of references seen by scan must be a subset of */
/* the ones we thought were there before. */
AVER(RefSetSub(ss.summary, SegSummary(seg)));
/* The summary of references seen by scan must be equal to those */
/* which we saw before, unless there's been a write barrier hit */
/* in which case the segment summary is set to RefSetUNIV */
AVER((ss.summary == SegSummary(seg)) ||
(SegSummary(seg) == RefSetUNIV));
TraceSetSummary(space, seg,
TraceSetUnion(ss.fixed,
TraceSetDiff(ss.summary, ss.white)));