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

Tobias Hartmann thartmann at openjdk.org
Mon Nov 20 13:23:53 UTC 2023


On Mon, 20 Nov 2023 11:31:15 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote:

> Similar to [JDK-8315744](https://bugs.openjdk.org/browse/JDK-8315744), we hit an assert because the subtype of a SubTypeCheckNode is not known to be non-null. The problem is that when pushing casts up through InlineTypeNodes in `ConstraintCastNode::Ideal`, we lose track of the null-free information.
> 
> I also re-added still required `T_PRIMITIVE_OBJECT` in the compiler replay implementation that I accidentally removed with https://git.openjdk.org/valhalla/pull/946.
> 
> Thanks,
> Tobias

This pull request has now been integrated.

Changeset: 3f3a7be0
Author:    Tobias Hartmann <thartmann at openjdk.org>
URL:       https://git.openjdk.org/valhalla/commit/3f3a7be085db25e1a990a5a3ec214d3679b751ec
Stats:     22 lines in 4 files changed: 22 ins; 0 del; 0 mod

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

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

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



More information about the valhalla-dev mailing list