From 13e3f5d1cda36182b94fb3e84b802dcd8a4503bb Mon Sep 17 00:00:00 2001
From: Gareth Rees <gdr@ravenbrook.com>
Date: Wed, 11 Jul 2018 15:02:19 +0100
Subject: [PATCH] Assert that stackhot gives us an address that's warmer than
 the jump buffer, as suggested by nb.

Copied from Perforce
 Change: 194594
---
 mps/code/ss.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mps/code/ss.h b/mps/code/ss.h
index 1c082f461da..b784746dc3f 100644
--- a/mps/code/ss.h
+++ b/mps/code/ss.h
@@ -44,6 +44,7 @@ void StackHot(void **stackOut);
     STACK_CONTEXT_SAVE(&_sc); \
     AVER(arena->stackWarm == NULL); \
     StackHot(&arena->stackWarm); \
+    AVER(arena->stackWarm < (void *)&_sc); /* <code/ss.c#assume.desc> */ \
     BEGIN