diff options
author | Mike Pall <mike> | 2023-08-12 20:16:56 +0200 |
---|---|---|
committer | Mike Pall <mike> | 2023-08-12 20:16:56 +0200 |
commit | abb27c7771947e082c9d919d184ad5f5f03e2e32 (patch) | |
tree | 7f57d823f55d818d5f350fbfdab6d12ea1b8a9d6 | |
parent | caf7cbc57c945f7b68871ad72abafb2b6e6fb7f5 (diff) | |
download | luajit-abb27c7771947e082c9d919d184ad5f5f03e2e32.tar.gz luajit-abb27c7771947e082c9d919d184ad5f5f03e2e32.tar.bz2 luajit-abb27c7771947e082c9d919d184ad5f5f03e2e32.zip |
Fix maxslots when recording BC_VARG, part 3.
Thanks to Peter Cawley. #1046
-rw-r--r-- | src/lj_record.c | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/src/lj_record.c b/src/lj_record.c index 6361b424..751d9eb7 100644 --- a/src/lj_record.c +++ b/src/lj_record.c | |||
@@ -1518,8 +1518,12 @@ static void rec_varg(jit_State *J, BCReg dst, ptrdiff_t nresults) | |||
1518 | if (J->framedepth > 0) { /* Simple case: varargs defined on-trace. */ | 1518 | if (J->framedepth > 0) { /* Simple case: varargs defined on-trace. */ |
1519 | ptrdiff_t i; | 1519 | ptrdiff_t i; |
1520 | if (nvararg < 0) nvararg = 0; | 1520 | if (nvararg < 0) nvararg = 0; |
1521 | if (nresults == -1) nresults = nvararg; | 1521 | if (nresults != 1) { |
1522 | J->maxslot = dst + (BCReg)nresults; | 1522 | if (nresults == -1) nresults = nvararg; |
1523 | J->maxslot = dst + (BCReg)nresults; | ||
1524 | } else if (dst >= J->maxslot) { | ||
1525 | J->maxslot = dst + 1; | ||
1526 | } | ||
1523 | if (J->baseslot + J->maxslot >= LJ_MAX_JSLOTS) | 1527 | if (J->baseslot + J->maxslot >= LJ_MAX_JSLOTS) |
1524 | lj_trace_err(J, LJ_TRERR_STACKOV); | 1528 | lj_trace_err(J, LJ_TRERR_STACKOV); |
1525 | for (i = 0; i < nresults; i++) | 1529 | for (i = 0; i < nresults; i++) |
@@ -1552,7 +1556,9 @@ static void rec_varg(jit_State *J, BCReg dst, ptrdiff_t nresults) | |||
1552 | } | 1556 | } |
1553 | for (i = nvararg; i < nresults; i++) | 1557 | for (i = nvararg; i < nresults; i++) |
1554 | J->base[dst+i] = TREF_NIL; | 1558 | J->base[dst+i] = TREF_NIL; |
1555 | J->maxslot = dst + (BCReg)nresults; | 1559 | if (nresults != 1 || dst >= J->maxslot) { |
1560 | J->maxslot = dst + (BCReg)nresults; | ||
1561 | } | ||
1556 | } else if (select_detect(J)) { /* y = select(x, ...) */ | 1562 | } else if (select_detect(J)) { /* y = select(x, ...) */ |
1557 | TRef tridx = J->base[dst-1]; | 1563 | TRef tridx = J->base[dst-1]; |
1558 | TRef tr = TREF_NIL; | 1564 | TRef tr = TREF_NIL; |