tarantool / luajit / 7884743198

70%

tarantool/master: 93%

push

github

Avoid out-of-range number of results when compiling select(k, ...).

The interpreter will throw and abort the trace, anyway.

(cherry picked from commit 6ca580155)

The `recff_select()` sets the amount of `RecordFFData` structure even
for a negative first argument when trace is not recording (since the
interpreter will throw an error anyway). This leads to excess IR
emission and possible reads of dirty memory.

This patch updates the `rd->nres` only in the case when a trace will be
recorded.

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

Part of tarantool/tarantool#9595

Reviewed-by: Sergey Bronnikov <sergeyb@tarantool.org>
Reviewed-by: Maxim Kokryashkin <m.kokryashkin@tarantool.org>
Signed-off-by: Igor Munkin <imun@tarantool.org>
(cherry picked from commit e73ba658e)

5402 of 5995 branches covered (90.11%)

Branch coverage included in aggregate %.

20654 of 23315 relevant lines covered (88.59%)

757207.86 hits per line