tarantool / luajit / 17648660841

93%

tarantool/master: 93%

Build Type

push

github

Committed by Buristan

Commit Message

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

Coverage Stats

5713 of 6046 branches covered (94.49%)

Branch coverage included in aggregate %.

1 of 1 new or added line in 1 file covered. (100.0%)

12 existing lines in 4 files now uncovered.

21810 of 23513 relevant lines covered (92.76%)

3873146.52 hits per line