tarantool / luajit / 15897929535 / 1

93%

tarantool/master: 93%

push

github

Avoid out-of-range PC for stack overflow error from snapshot restore.

Reported by Sergey Kaplun.

(cherry picked from commit cd4af8ad8)

When restoring a snapshot because of exiting by the check of the stack,
the snapshot from the parent trace is used. For the correct error
message, the snapshot map uses the next bytecode after the stored one.
In case, when the PC in the snapshot is BC_RET* (the last bytecode in
the prototype), there is no next value to be referenced, so this
approach leads to the assertion failure in `lj_debug_framepc()`.

This patch prevents this behaviour by checking the original bytecode and
avoiding PC adjusting in the case of the last bytecode in the prototype.

Sergey Kaplun:
* added the description and the test for the problem

Part of tarantool/tarantool#11278

Reviewed-by: Sergey Bronnikov <sergeyb@tarantool.org>
Signed-off-by: Sergey Kaplun <skaplun@tarantool.org>
(cherry picked from commit ff230123f)

5709 of 6046 branches covered (94.43%)

Branch coverage included in aggregate %.

21790 of 23508 relevant lines covered (92.69%)

3834869.08 hits per line