From a97e2b2c9a43f1eca4d3d69293b8221231cdcd36 Mon Sep 17 00:00:00 2001 From: Richard Brooksby Date: Tue, 2 May 2023 16:02:48 +0100 Subject: [PATCH] Disabling the insist comparing the testobj array to the cold end of the stack, since the testobj array is now a static and not comparible. --- mps/code/extcon.c | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/mps/code/extcon.c b/mps/code/extcon.c index af1b4fe14db..2e62e644973 100644 --- a/mps/code/extcon.c +++ b/mps/code/extcon.c @@ -264,14 +264,16 @@ static void test_main(void *cold_stack_end) have observed a Heisenbug where GCC will inline test_main into main and lose this condition if the expression below is removed. This is a problem we are analysing in GitHub issue #210 - . */ + . For now, we + disable this Insist to allow the test to run with a static + testobj array. */ +#if 0 Insist((void *)&testobj[N_TESTOBJ] <= cold_stack_end); - - /* The Insist above ought to prevent an invalid marker message below. */ if ((void *)&testobj[N_TESTOBJ] > cold_stack_end) printf("Cold stack marker invalid!\n"); else printf("Cold stack marker probably valid.\n"); +#endif /* Make initial arena size slightly bigger than the test object size to force an extension as early as possible */ obj_size = ALIGN_OBJ(sizeof(test_alloc_obj_s));