[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