[Tarantool-patches] [PATCH] Mark CONV as non-weak, to prevent elimination of its side-effect.
Igor Munkin
imun at tarantool.org
Thu Nov 23 09:31:12 MSK 2023
Max,
I've checked the patchset into all long-term branches in
tarantool/luajit and bumped a new version in master, release/2.11 and
release/2.10.
On 12.07.23, Maksim Kokryashkin via Tarantool-patches wrote:
> From: Mike Pall <mike>
>
> An unused guarded CONV int.num cannot be omitted in general.
>
> (cherry-picked from commit 881d02d3117838acaf4fb844332c8e33cc95c8c5)
>
> In some cases, an unused `CONV` omission 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#8825
> ---
> src/lj_ir.h | 2 +-
> .../mark-conv-non-weak.test.lua | 58 +++++++++++++++++++
> 2 files changed, 59 insertions(+), 1 deletion(-)
> create mode 100644 test/tarantool-tests/mark-conv-non-weak.test.lua
>
<snipped>
> --
> 2.39.2 (Apple Git-143)
>
--
Best regards,
IM
More information about the Tarantool-patches
mailing list