From 7f013005f61b82300d4ec591fd4cec59a74d62ff Mon Sep 17 00:00:00 2001 From: Mike Pall Date: Sat, 17 Jan 2015 14:50:41 +0100 Subject: [PATCH] Don't compile IR_RETF after CALLT to ff with-side effects. --- src/lj_record.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/lj_record.c b/src/lj_record.c index 19f17639..843108c8 100644 --- a/src/lj_record.c +++ b/src/lj_record.c @@ -745,6 +745,8 @@ void lj_record_ret(jit_State *J, BCReg rbase, ptrdiff_t gotresults) } else if (J->parent == 0 && !bc_isret(bc_op(J->cur.startins))) { /* Return to lower frame would leave the loop in a root trace. */ lj_trace_err(J, LJ_TRERR_LLEAVE); + } else if (J->needsnap) { /* Tailcalled to ff with side-effects. */ + lj_trace_err(J, LJ_TRERR_NYIRETL); /* No way to insert snapshot here. */ } else { /* Return to lower frame. Guard for the target we return to. */ TRef trpt = lj_ir_kgc(J, obj2gco(pt), IRT_PROTO); TRef trpc = lj_ir_kptr(J, (void *)frame_pc(frame));