tarantool / luajit / 8814579360

93%

tarantool/master: 93%

Build Type

push

github

Committed by Buristan

Commit Message

Check for IR_HREF vs. IR_HREFK aliasing in non-nil store check.

Thanks to Peter Cawley.

(cherry picked from commit 658530562)

The `lj_opt_fwd_wasnonnil()` skips the check for HREF and HREFK that may
alias. Hence, the guard for the non-nil value may be skipped, and the
`__newindex` metamethod call is omitted too.

This patch adds the aforementioned check for different reference types
(HREF vs. HREFK), which were not detected by the previous analysis.
Also, the helper macro `irt_isp32()` is introduced to check that the IR
type is `IRT_P32` (KSLOT type).

Sergey Kaplun:
* added the description and the test for the problem

Part of tarantool/tarantool#9924

Run Details

5663 of 6019 branches covered (94.09%)

Branch coverage included in aggregate %.

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

1 existing line in 1 file now uncovered.

21614 of 23418 relevant lines covered (92.3%)

2946945.83 hits per line