tarantool / luajit / 28530004386

93%

tarantool/master: 93%

Build Type

push

github

Committed by Buristan

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] produces 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

5734 of 6058 branches covered (94.65%)

Branch coverage included in aggregate %.

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

13 existing lines in 3 files now uncovered.

21873 of 23556 relevant lines covered (92.86%)

3972153.54 hits per line