tarantool / luajit / 27189360090

93%

tarantool/master: 93%

Build Type

push

github

Committed by ligurio

Commit Message

Prevent sanitizer warnings for lj_tab_new*() and table.new().

Reported by Sergey Bronnikov.

(cherry picked from commit 8f421c81e)

The Undefined Behaviour Sanitizer [1] produce a warning because
the function `lua_createtable()` takes signed integer arguments,
but the `lj_tab_new_ah()` was not properly validating or converting
these signed values before using them in unsigned arithmetic.

The fix changes the signature of `lj_tab_new_ah()` to accept
uint32_t directly, and adjusts `lua_createtable()` to cast the
incoming signed int values to uint32_t before passing them.

[1]: https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html

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

Part of tarantool/tarantool#12480

Coverage Stats

5721 of 6056 branches covered (94.47%)

Branch coverage included in aggregate %.

3 of 3 new or added lines in 2 files covered. (100.0%)

17 existing lines in 4 files now uncovered.

21841 of 23547 relevant lines covered (92.75%)

3972684.44 hits per line