tarantool / luajit / 23790075799

70%

tarantool/master: 93%

Build Type

push

github

Committed by Buristan

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

Reviewed-by: Sergey Kaplun <skaplun@tarantool.org>
Signed-off-by: Sergey Kaplun <skaplun@tarantool.org>
(cherry picked from commit e1d994409)

Coverage Stats

5698 of 6036 branches covered (94.4%)

Branch coverage included in aggregate %.

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

4 existing lines in 1 file now uncovered.

21728 of 23454 relevant lines covered (92.64%)

1938697.16 hits per line