From: Ilya Leoshkevich <iii@linux.ibm.com>
Date: Fri, 16 Apr 2021 15:49:39 +0000 (+0200)
Subject: accel/tcg: Assert that tb->size != 0 after translation
X-Git-Url: http://git.maquefel.me/?a=commitdiff_plain;h=0b00b0c1e05b34904635cf1b5cfdd945d1a8475e;p=qemu.git

accel/tcg: Assert that tb->size != 0 after translation

If arch-specific code generates a translation block of size 0,
tb_gen_code() may generate a spurious exception. Add an assertion in
order to catch such situations early.

Signed-off-by: Ilya Leoshkevich <iii@linux.ibm.com>
Reviewed-by: David Hildenbrand <david@redhat.com>
Message-Id: <20210416154939.32404-5-iii@linux.ibm.com>
Signed-off-by: Cornelia Huck <cohuck@redhat.com>
---

diff --git a/accel/tcg/translate-all.c b/accel/tcg/translate-all.c
index fbf8fc630b..640ff6e3e7 100644
--- a/accel/tcg/translate-all.c
+++ b/accel/tcg/translate-all.c
@@ -1912,6 +1912,7 @@ TranslationBlock *tb_gen_code(CPUState *cpu,
 
     tcg_ctx->cpu = env_cpu(env);
     gen_intermediate_code(cpu, tb, max_insns);
+    assert(tb->size != 0);
     tcg_ctx->cpu = NULL;
     max_insns = tb->icount;