tarantool / luajit / 7882478363

93%

push

github

Consider slots used by upvalues in use-def analysis.

Reported by XmiliaH.

(cherry picked from commit 3a654999c)

`snap_usedef()` analysis doesn't check slots for child upvalues of the
currently recorded function in use-def analysis. Hence, such slots may
be considered unused and not stored in the snapshot. So on snapshot
restoration, values from these slots may be lost.

This patch adds a marking for all such local upvalues.

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>

5419 of 6013 branches covered (90.12%)

Branch coverage included in aggregate %.

20732 of 23405 relevant lines covered (88.58%)

2802364.99 hits per line