tarantool / luajit / 7884743180

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>

5422 of 6013 branches covered (90.17%)

Branch coverage included in aggregate %.

20751 of 23406 relevant lines covered (88.66%)

2803157.01 hits per line