tarantool / luajit / 23745788895

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 produces a runtime warning when
INT_MAX is passed to `unpack()` as index `i`. This happens because
`i` in lj_cf_unpack() was incremented before the checking loop
invariant and this leads to a signed integer overflow. The patch
fixes the issue by moving index incrementation in the separate
statement from the loop invariant check.

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%)

3890919.78 hits per line