From 2d685bee13ab3c4d773a5a5d017f98970985bfa6 Mon Sep 17 00:00:00 2001
From: Richard Brooksby <rb@ravenbrook.com>
Date: Thu, 27 Feb 2014 17:50:44 +0000
Subject: [PATCH] Adding check for unexpected case of zone barging.

Copied from Perforce
 Change: 184583
 ServerID: perforce.ravenbrook.com
---
 mps/code/arena.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/mps/code/arena.c b/mps/code/arena.c
index f75cede5037..918096a932e 100644
--- a/mps/code/arena.c
+++ b/mps/code/arena.c
@@ -912,6 +912,9 @@ static Res arenaAllocPolicy(Tract *tractReturn, Arena arena, SegPref pref,
       return ResCOMMIT_LIMIT;
     }
   }
+
+  /* FIXME: Think about this. We may have barged into a blacklisted zone. */
+  AVER(ZoneSetInter(pref->zones, pref->avoid) == ZoneSetEMPTY);
   
   /* Plan A: allocate from the free CBS in the requested zones */
   /* FIXME: Takes no account of other zones fields */