Bug ID: JDK-8346836 C2: Verify CastII/CastLL bounds at runtime

JDK-8346836 : C2: Verify CastII/CastLL bounds at runtime

Type: Enhancement
Component: hotspot
Sub-Component: compiler
Affected Version: 25

Priority: P4
Status: Resolved
Resolution: Fixed

Submitted: 2024-12-25
Updated: 2025-05-19
Resolved: 2025-04-25

Versions (Unresolved/Resolved/Fixed)

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 25
25 b21Fixed

Related Reports

Causes :	JDK-8355574 - Fatal error in abort_verify_int_in_range due to Invalid CastII
Relates :	JDK-8357243 - Add -XX:VerifyConstraintCasts to CTW
Relates :	JDK-8298951 - Umbrella: improve CCP and IGVN verification
Relates :	JDK-8347365 - C2: Fix the handling of depends_only_on_test

Description

Add C2 flag VerifyConstraintCasts, which will verify the correctness of ConstraintCastNodes and crash the VM in cases of failures.

Comments

Changeset: ed604038 Branch: master Author: Quan Anh Mai <qamai@openjdk.org> Date: 2025-04-25 02:09:58 +0000 URL: https://git.openjdk.org/jdk/commit/ed604038ffc4ca64113984324dde71c07f046b52

25-04-2025

A pull request was submitted for review. Branch: master URL: https://git.openjdk.org/jdk/pull/22880 Date: 2024-12-25 14:54:02 +0000

25-12-2024