From bb47703f30ed0719f4dbafc26e9f6c973ec0b2c4 Mon Sep 17 00:00:00 2001
From: Gareth Rees
Date: Tue, 21 May 2013 00:29:56 +0100
Subject: A little bit more checking.

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

---
 mps/code/poolmv2.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'mps/code')

diff --git a/mps/code/poolmv2.c b/mps/code/poolmv2.c
index a87dab377ed..a081827b0af 100644
--- a/mps/code/poolmv2.c
+++ b/mps/code/poolmv2.c
@@ -469,6 +469,7 @@ static Res MVTBufferFill(Addr *baseReturn, Addr *limitReturn,
       res = MVTContingencySearch(&base, &limit, MVTCBS(mvt), minSize);
     }
   } else {
+    AVERT(Range, &range);
     base = RangeBase(&range);
     limit = RangeLimit(&range);
     METER_ACC(mvt->finds, minSize);
@@ -595,6 +596,7 @@ static Res MVTReserve(MVT mvt, Range range)
     RangeStruct oldRange;
     res = ABQPeek(MVTABQ(mvt), (Addr)&oldRange);
     AVER(res == ResOK);
+    AVERT(Range, &oldRange);
     success = MVTReturnRangeSegs(mvt, &oldRange, arena);
     AVER(success);
     res = ABQPush(MVTABQ(mvt), (Addr)&range);
-- 
cgit v1.2.1