tarantool / luajit / 23012335090

93%

tarantool/master: 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

5714 of 6046 branches covered (94.51%)

Branch coverage included in aggregate %.

21808 of 23513 relevant lines covered (92.75%)

3871447.43 hits per line