From 7680839e18f286fb65ed3e094ffeebabccc59984 Mon Sep 17 00:00:00 2001
From: Gareth Rees <gdr@ravenbrook.com>
Date: Wed, 20 Apr 2016 09:35:27 +0100
Subject: [PATCH] Discard all messages retrieved from the queue.

Copied from Perforce
 Change: 191317
 ServerID: perforce.ravenbrook.com
---
 mps/code/finaltest.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/mps/code/finaltest.c b/mps/code/finaltest.c
index 1512f2a850e..94e4af103d9 100644
--- a/mps/code/finaltest.c
+++ b/mps/code/finaltest.c
@@ -204,12 +204,13 @@ static void test_trees(int mode, const char *name, mps_arena_t arena,
       if (type == mps_message_type_finalization()) {
         mps_addr_t objaddr;
         mps_message_finalization_ref(&objaddr, arena, message);
-        mps_message_discard(arena, message);
         ++ final_this_time;
       } else if (type == mps_message_type_gc()) {
         ++ collections;
-      } else
+      } else {
         error("Unexpected message type %lu.", (unsigned long)type);
+      }
+      mps_message_discard(arena, message);
     }
     finals += final_this_time;
     printf("%"PRIuLONGEST" objects finalized: total %"PRIuLONGEST