Integrated: 8346836: C2: Verify CastII/CastLL bounds at runtime

Fri Apr 25 02:13:12 UTC 2025

On Wed, 25 Dec 2024 14:54:02 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

> Hi,
> 
> This patch adds a develop flag `VerifyConstraintCasts`, which will verify the correctness of `CastIINode`s and `CastLLNode`s at runtime and crash the VM if the dynamic value lies outside the type value range.
> 
> Please take a look, thanks a lot.

This pull request has now been integrated.

Changeset: ed604038
Author:    Quan Anh Mai <qamai at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/ed604038ffc4ca64113984324dde71c07f046b52
Stats:     372 lines in 10 files changed: 371 ins; 0 del; 1 mod

8346836: C2: Verify CastII/CastLL bounds at runtime

Co-authored-by: Vladimir Ivanov <vlivanov at openjdk.org>
Reviewed-by: vlivanov, epeter

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

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