On Tue, 12 May 2026 12:42:12 GMT, Tobias Hartmann <[email protected]> wrote:
> The problem is that we are pushing casts through InlineTypeNodes without > checking if their types are even compatible. In dead parts of the graph, when > a type check wasn't folded yet, the type of the CheckCastPP can be completely > unrelated to the type of the InlineTypeNode. Pushing the cast through leads > to an incorrect type being used further below in the graph and subsequent > failures. > > I tried hard to come up with standalone reproducer for this but failed. It > reproduces reliably with replay compilation though. > > Thanks, > Tobias > > --------- > - [x] I confirm that I make this contribution in accordance with the [OpenJDK > Interim AI Policy](https://openjdk.org/legal/ai). This pull request has now been integrated. Changeset: 7c2d2cd3 Author: Tobias Hartmann <[email protected]> URL: https://git.openjdk.org/valhalla/commit/7c2d2cd3d559577a7c3507b2ee814062eed72c06 Stats: 5 lines in 2 files changed: 3 ins; 0 del; 2 mod 8384359: [lworld] ConstraintCastNode::Ideal should not push incompatible casts through InlineTypeNodes Reviewed-by: mchevalier, qamai ------------- PR: https://git.openjdk.org/valhalla/pull/2423
