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

Mps br/timing: mpsi_check(): check that external and internal messsage types match.

Browse source 
Copied from Perforce
 Change: 166696
 ServerID: perforce.ravenbrook.com
This commit is contained in:
Richard Kistruck 2008-11-11 16:22:26 +00:00
parent 0619697451
commit ea707da154
1 changed files with 12 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

12
mps/code/mpsi.c
View file

@ -91,6 +91,18 @@ static Bool mpsi_check(void)
CHECKL((int)MPS_RANK_EXACT == (int)RankEXACT);
CHECKL((int)MPS_RANK_WEAK == (int)RankWEAK);
/* Check that external and internal messsage types match. */
/* See <code/mps.h#message.types> and */
/* <code/mpmtypes.h#message.types>. */
/* Also see .check.enum.cast. */
CHECKL(CHECKTYPE(mps_message_type_t, MessageType));
CHECKL((int)MessageTypeFINALIZATION
== (int)MPS_MESSAGE_TYPE_FINALIZATION);
CHECKL((int)MessageTypeGC
== (int)MPS_MESSAGE_TYPE_GC);
CHECKL((int)MessageTypeGCSTART
== (int)MPS_MESSAGE_TYPE_GC_START);
/* The external idea of a word width and the internal one */
/* had better match. See <design/interface-c/#cons>. */
CHECKL(sizeof(mps_word_t) == sizeof(void *));