tarantool / luajit / 17649971451

70%

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

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

Run Details

5692 of 6027 branches covered (94.44%)

Branch coverage included in aggregate %.

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

12 existing lines in 2 files now uncovered.

21694 of 23421 relevant lines covered (92.63%)

1850286.76 hits per line