Fix undefined double-to-int casts when encoding a number value (#5303) - #5309

Fix undefined double-to-int casts when encoding a number value (#5303)#5309

1820893135-pixel wants to merge 1 commit into

jerryscript-project:masterjerryscript-project/jerryscript:masterfrom

1820893135-pixel:fix-number-cast-ub1820893135-pixel/jerryscript:fix-number-cast-ubCopy head branch name to clipboard