tarantool / luajit / 6506917754

89%

tarantool/master: 93%

push

github

Mark CONV as non-weak, to prevent elimination of its side-effect.

An unused guarded CONV int.num cannot be omitted in general.

(cherry-picked from commit 881d02d31)

In some cases, an unused `CONV int.num` omission in `DUALNUM` mode
may lead to a guard absence, resulting in invalid control flow
branching and undefined behavior. For a comprehensive example of
the described situation, please refer to the comment
in `test/tarantool-tests/mark-conv-non-weak.test.lua`.

Maxim Kokryashkin:
* added the description and the test for the problem

Part of tarantool/tarantool#9145

5337 of 5972 branches covered (0.0%)

Branch coverage included in aggregate %.

20480 of 23293 relevant lines covered (87.92%)

2742698.69 hits per line