tarantool / luajit / 23790075635

93%

tarantool/master: 93%

push

github

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)

5720 of 6055 branches covered (94.47%)

Branch coverage included in aggregate %.

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

21840 of 23546 relevant lines covered (92.75%)

3973366.6 hits per line