tarantool / luajit / 6927682331 / 1

89%

tarantool/master: 93%

push

github

Add NaN check to IR_NEWREF.

Thanks to Peter Cawley.

(cherry-picked from commit 7f9907b4e)

When emitting IR NEWREF, there is no check for a non-NaN stored key
value. Thus, when the NaN number value is given to trace, it may be
stored as a key. This patch adds the corresponding check. If fold
optimization is enabled, this IR EQ check is dropped if it references
CONV IR from any (unsigned) integer type since NaN can be created via
conversion from an integer.

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

Part of tarantool/tarantool#9145

5374 of 5985 branches covered (0.0%)

Branch coverage included in aggregate %.

20588 of 23352 relevant lines covered (88.16%)

2747049.49 hits per line