From: Jay Krell <jaykrell@microsoft.com>
Date: Thu, 12 Sep 2019 12:06:31 +0000 (-0700)
Subject: [interp] Add assert in jmp that sp == stack at start. (mono/mono#16788)
X-Git-Tag: submit/tizen/20210909.063632~10331^2~5^2~521
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=480e96c385153dbd7ec2d71a07065edd0bb155f2;p=platform%2Fupstream%2Fdotnet%2Fruntime.git

[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
---

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)