tarantool / luajit / 22398409409

93%

tarantool/master: 93%

push

github

DUALNUM: Add missing type conversion for FORI slots.

Reported by Sergey Kaplun.

(cherry picked from commit 406cf69b3)

`rec_for_loop()` narrows the FORL index values by getting them from the
runtime. In case when the `start`, `stop`, `step` control variables are
already loaded to the slots, their TRef isn't converted to the
corresponding type. This leads to the following inconsistent IR dump and
to the assertion failure later:
| 0002 > int SLOAD  10   TCI
| 0003   int ADD    0002  +1.
| 0004 > int LE     0003  +1.
| 0005   int ADD    0003  +1.
| 0006 > int GT     0005  +1.

This patch adds the missing type conversion.

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

Part of tarantool/tarantool#12134

5712 of 6046 branches covered (94.48%)

Branch coverage included in aggregate %.

9 of 9 new or added lines in 1 file covered. (100.0%)

21808 of 23516 relevant lines covered (92.74%)

3884489.01 hits per line