tarantool / luajit / 23141227996

93%

push

github

Add stack check to pcall/xpcall.

Analyzed by Peter Cawley.

(cherry picked from commit a4c164043)

The `pcall()` and `xpcall()` calls in GC64 mode require 2 slots. This
means that all arguments should be moved up during emitting of the frame
link to the stack. Hence, this may cause stack overflow without the
corresponding check.

This patch adds the corresponding checks to the VM. Non-GC64 VMs are
updated as well for the consistency.

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

Part of tarantool/tarantool#12134

Reviewed-by: Sergey Kaplun <skaplun@tarantool.org>
Signed-off-by: Sergey Kaplun <skaplun@tarantool.org>

5709 of 6049 branches covered (94.38%)

Branch coverage included in aggregate %.

21795 of 23525 relevant lines covered (92.65%)

3860373.56 hits per line