JDK-8328934 : Assert that ABS input and output are legal
  • Type: Enhancement
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 17,21,22,23
  • Priority: P4
  • Status: Resolved
  • Resolution: Fixed
  • Submitted: 2024-03-25
  • Updated: 2025-01-08
  • Resolved: 2024-04-30
The Version table provides details related to the release that this issue/RFE will be addressed.

Unresolved : Release in which this issue/RFE will be addressed.
Resolved: Release in which this issue/RFE has been resolved.
Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.

To download the current JDK release, click here.
JDK 23
23 b21Fixed
Related Reports
Blocks :  
JDK-8330158 - C2: Loop strip mining uses ABS with min int
Relates :  
JDK-8324833 - Signed integer overflows in ABS
Relates :  
JDK-8324121 - SIGFPE in PhaseIdealLoop::extract_long_range_checks
Description
As suggested by [~dlong] here [1], we should assert that it has legal input (not MIN_INT) and output (non-negative value) in debug builds.

[1] https://github.com/openjdk/jdk/pull/18397/files#r1532629022
Comments
A pull request was submitted for review. Branch: master URL: https://git.openjdk.org/jdk/pull/18751 Date: 2024-04-12 08:31:48 +0000
08-01-2025
Changeset: cff841f1 Author: Aleksey Shipilev <shade@openjdk.org> Date: 2024-04-30 09:13:12 +0000 URL: https://git.openjdk.org/jdk/commit/cff841f1de41c911ec1b642b998c074e13e75554
30-04-2024
Current failures: compiler/c2/MinValueStrideCountedLoop.java (filed JDK-8330158)
12-04-2024