mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-03-23 07:12:12 -07:00
Code Issues Projects Releases Wiki Activity

Responding to review by gdr <https://info.ravenbrook.com/mail/2016/03/21/21-05-49/0/>.

Browse source 
Copied from Perforce
 Change: 190336
 ServerID: perforce.ravenbrook.com
This commit is contained in:
Richard Brooksby 2016-03-23 14:23:14 +00:00
parent e711121e82
commit 8bfd101b34
3 changed files with 9 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
mps/code/mpmst.h
View file

@ -699,7 +699,7 @@ typedef struct SortStruct {
#define ShieldSig ((Sig)0x519581E1) /* SIGnature SHEILd */
typedef struct ShieldStruct {
Sig sig;
Sig sig; /* design.mps.sig */
Bool inside; /* design.mps.shield.def.inside */
Seg *queue; /* queue of unsynced segs */
Count length; /* number of elements in shield queue */

3
mps/code/seg.c
View file

@ -224,7 +224,7 @@ static void SegFinish(Seg seg)
AVER(seg->depth == 0);
if (seg->queued)
ShieldFlush(PoolArena(SegPool(seg)));
AVER(seg->queued == FALSE);
AVER(!seg->queued);
limit = SegLimit(seg);
@ -686,6 +686,7 @@ Bool SegCheck(Seg seg)
CHECKL(AddrIsArenaGrain(TractBase(seg->firstTract), arena));
CHECKL(AddrIsArenaGrain(seg->limit, arena));
CHECKL(seg->limit > TractBase(seg->firstTract));
CHECKL(BoolCheck(seg->queued));
/* Each tract of the segment must agree about white traces. Note
* that even if the CHECKs are compiled away there is still a

6
mps/code/shield.c
View file

@ -46,6 +46,12 @@ void ShieldDestroyQueue(Shield shield, Arena arena)
void ShieldFinish(Shield shield)
{
/* The queue should already have been destroyed by
GlobalsPrepareToDestroy calling ShieldDestroyQueue. */
AVER(shield->length == 0);
AVER(shield->limit == 0);
AVER(shield->queue == NULL);
AVER(shield->depth == 0);
AVER(shield->unsynced == 0);
AVER(shield->holds == 0);