Mps br/timing global.c: new diag "globalspreparetodestroy", reports if message queue not empty.

Copied from Perforce
 Change: 166952
 ServerID: perforce.ravenbrook.com

1 files changed, 3 insertions, 0 deletions

diff --git a/mps/code/global.c b/mps/code/global.c
index bf51bbf5cd6..7051225c12b 100644
--- a/mps/code/global.c
+++ b/mps/code/global.c
@@ -422,6 +422,9 @@ void GlobalsPrepareToDestroy(Globals arenaGlobals)
   /* is done before destroying the finalization pool as otherwise */
   /* the message queue would have dangling pointers to messages */
   /* whose memory has been unmapped. */
+  if(MessagePoll(arena)) {
+    DIAG_SINGLEF(( "GlobalsPrepareToDestroy", "Message queue not empty", NULL ));
+  }
   MessageEmpty(arena);
 
   /* throw away the BT used by messages */