RFR: 8361037: [ubsan] compiler/c2/irTests/TestFloat16ScalarOperations division by 0 [v3]
Manuel Hässig
mhaessig at openjdk.org
Thu Jul 3 06:13:40 UTC 2025
On Tue, 1 Jul 2025 13:36:20 GMT, Jatin Bhateja <jbhateja at openjdk.org> wrote:
>> Floating point division by zero is undefined per the C and C++ standards, but is defined by Clang (and by ISO/IEC/IEEE 60559 / IEEE 754) as producing either an infinity or NaN value.
>>
>> While Java semantics defined in section 15.17.2 "Division Operator" of JLS-24 are well-defined for these constant-folding scenarios
>>
>> This bug fix patch fixes division by 0 error reported after integration of [JDK-8352635.](https://bugs.openjdk.org/browse/JDK-8352635)
>> Kindly review and share your feedback.
>>
>> Best Regards,
>> Jatin
>
> Jatin Bhateja has updated the pull request incrementally with one additional commit since the last revision:
>
> Adding comments
Thank you for addressing my comments @jatin-bhateja. Looks good to me.
-------------
Marked as reviewed by mhaessig (Committer).
PR Review: https://git.openjdk.org/jdk/pull/26062#pullrequestreview-2981858755
More information about the hotspot-compiler-dev
mailing list