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

Jatin Bhateja jbhateja at openjdk.org
Tue Jul 1 13:28:21 UTC 2025


> 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:

  Review comments resolution

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/26062/files
  - new: https://git.openjdk.org/jdk/pull/26062/files/bf78fbe6..d39c76f4

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=26062&range=01
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=26062&range=00-01

  Stats: 8 lines in 1 file changed: 4 ins; 0 del; 4 mod
  Patch: https://git.openjdk.org/jdk/pull/26062.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/26062/head:pull/26062

PR: https://git.openjdk.org/jdk/pull/26062


More information about the hotspot-compiler-dev mailing list