RFR: 8361037: [ubsan] compiler/c2/irTests/TestFloat16ScalarOperations division by 0

[Matthias Baesken]

On Tue, 1 Jul 2025 10:08: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

With your patch included, the test compiler/c2/irTests/TestFloat16ScalarOperations.java now passes on macOS aarch64 with ubsan enabled.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/26062#issuecomment-3023799985