tarantool / luajit / 17649971376 / 1

93%

tarantool/master: 93%

push

github

Invalidate SCEV entry when returning to lower frame.

Thanks to Zhongwei Yao.

(cherry picked from commit 65c849390)

When returning to the lower frame, LuaJIT does not clear the Scalar
Evolution analysis entry. Hence, this may lead to its invalid usage in
the next function called if the IR references match. The further
analysis is invalid and may lead to the assertion failure.

This patch invalidates the ScEv entry IR reference index when returning
to the lower frame.

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

Part of tarantool/tarantool#11691

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

5709 of 6046 branches covered (94.43%)

Branch coverage included in aggregate %.

21788 of 23513 relevant lines covered (92.66%)

3885714.1 hits per line