create a new block after call_finally

diff --git a/ChangeLog b/ChangeLog
index 92fe76466d7b02f177e1c3a7792bc64d3ba063b3..09f2d364d2e2b76146eaa7dc64be0de16e5ea027 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -2,6 +2,8 @@
 
        * jit/jit-block.c (jit_block_get_label): return jit_label_undefined
        instead of zero on error.
+       * jit/jit-insn.c (jit_insn_call_finally): create a new block after
+       JIT_OP_CALL_FINALLY.
 
 2009-04-24  Michele Tartara  <mikyt@users.sourceforge.net>
 

diff --git a/jit/jit-insn.c b/jit/jit-insn.c
index ef31fb83cca9766e7b357928bc807de39823b38e..d56a7d35915a8d6a6a2e60ad63b1c3a0a7543a16 100644 (file)
--- a/jit/jit-insn.c
+++ b/jit/jit-insn.c
@@ -7557,7 +7557,9 @@ int jit_insn_call_finally(jit_function_t func, jit_label_t *finally_label)
        insn->opcode = (short)JIT_OP_CALL_FINALLY;
        insn->flags = JIT_INSN_DEST_IS_LABEL;
        insn->dest = (jit_value_t)(*finally_label);
-       return 1;
+
+       /* Create a new block for the following code */
+       return jit_insn_new_block(func);
 }
 
 /*@