[lworld] Integrated: 8315744: [lworld] SubTypeCheckNode::sub asserts with "should be not null"

Tobias Hartmann thartmann at openjdk.org
Wed Nov 1 12:04:29 UTC 2023


On Wed, 1 Nov 2023 08:31:45 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote:

> [JDK-8303279](https://bugs.openjdk.org/browse/JDK-8303279) added an assert that we now hit in Valhalla because the subtype of a `SubTypeCheckNode` is not known to be non-null. The problem is that when pushing InlineTypeNodes through Phis, we lose track of the fact that the Phi is non-null. There's some existing logic for that but it's broken.
> 
> Thanks,
> Tobias

This pull request has now been integrated.

Changeset: c328c5fc
Author:    Tobias Hartmann <thartmann at openjdk.org>
URL:       https://git.openjdk.org/valhalla/commit/c328c5fcd8e91084ba0da65781e935bec1df3263
Stats:     15 lines in 2 files changed: 0 ins; 9 del; 6 mod

8315744: [lworld] SubTypeCheckNode::sub asserts with "should be not null"

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

PR: https://git.openjdk.org/valhalla/pull/944



More information about the valhalla-dev mailing list