From 480e96c385153dbd7ec2d71a07065edd0bb155f2 Mon Sep 17 00:00:00 2001 From: Jay Krell Date: Thu, 12 Sep 2019 05:06:31 -0700 Subject: [PATCH] [interp] Add assert in jmp that sp == stack at start. (mono/mono#16788) It makes it true sometimes, only if not calling alloca. Throwing invalid IL if false might be preferred here. Commit migrated from https://github.com/mono/mono/commit/c7df01524a1dd6ef713bb074c199bae908532b9b --- src/mono/mono/mini/interp/interp.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/mono/mono/mini/interp/interp.c b/src/mono/mono/mini/interp/interp.c index 13017ef..95247db 100644 --- a/src/mono/mono/mini/interp/interp.c +++ b/src/mono/mono/mini/interp/interp.c @@ -3435,6 +3435,7 @@ main_loop: MINT_IN_BREAK; } MINT_IN_CASE(MINT_JMP) { + g_assert (sp == frame->stack); InterpMethod *new_method = (InterpMethod*)frame->imethod->data_items [ip [1]]; if (frame->imethod->prof_flags & MONO_PROFILER_CALL_INSTRUMENTATION_TAIL_CALL) -- 2.7.4