From f651dbdc2797245d6d96dc5158eca139ea392fdb Mon Sep 17 00:00:00 2001
From: Gareth Rees <gdr@ravenbrook.com>
Date: Thu, 6 Jun 2013 15:51:41 +0100
Subject: [PATCH] Extra-careful check after setting the limit.

Copied from Perforce
 Change: 182585
 ServerID: perforce.ravenbrook.com
---
 mps/code/freelist.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mps/code/freelist.c b/mps/code/freelist.c
index c2d4ee1b623..6fc80733fbf 100644
--- a/mps/code/freelist.c
+++ b/mps/code/freelist.c
@@ -116,6 +116,7 @@ static void FreelistBlockSetLimit(Freelist fl, FreelistBlock block, Addr limit)
     AVER(size >= sizeof(block->small));
     block->small.next = FreelistTagSet(block->small.next);
   }
+  AVER(FreelistBlockLimit(block) == limit);
 }