tarantool / luajit / 23740674376

93%

tarantool/master: 93%

Build Type

push

github

Committed by ligurio

Commit Message

Prevent false positive sanitizer warning in unpack().

Reported by Sergey Bronnikov.

(cherry picked from commit f322ecb51)

The UndefinedBehaviour sanitizer produce a runtime warning when
INT_MAX is passed to `unpack()` as index `j`. This happens because
`i` in lj_cf_unpack() was incremented before the checking loop
invariant and this could to a signed integer overflo. The patch
fixes the issue by moving a loop invariant to a loop body.

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

Part of tarantool/tarantool#12134

Coverage Stats

5713 of 6053 branches covered (94.38%)

Branch coverage included in aggregate %.

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

18 existing lines in 3 files now uncovered.

21814 of 23542 relevant lines covered (92.66%)

3890960.18 hits per line