tarantool / luajit / 6705492141

88%

tarantool/master: 93%

push

github

Fix FOLD rule for x-0.

Reported by XmiliaH.

(cherry-picked from commit 7b994e0ee)

Fold optimization x - (-0) ==> x is INVALID for x = -0 in FP arithmetic.
Its result is -0 instead of +0. This patch allows only x - (+0) ==> x
optimization.

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

Part of tarantool/tarantool#9145

5340 of 5972 branches covered (0.0%)

Branch coverage included in aggregate %.

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

20487 of 23292 relevant lines covered (87.96%)

2751738.96 hits per line