tarantool / luajit / 6940328870

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

5377 of 5986 branches covered (0.0%)

Branch coverage included in aggregate %.

20613 of 23353 relevant lines covered (88.27%)

2744361.89 hits per line