RFR: 8349479: C2: when a Type node becomes dead, make CFG path that uses it unreachable [v2]

Wed Mar 19 11:59:09 UTC 2025

On Wed, 19 Mar 2025 09:36:16 GMT, Roland Westrelin <roland at openjdk.org> wrote:

> > Also for the type being zero on the div by zero failing path which lets some type nodes die and control is not because we don't have an "everything but zero" type.
> 
> Is there a bug/test case for that one?

I think it was that one: https://github.com/openjdk/jdk/pull/16844 and related/linked issues.

We just removed the `CastIINode::Value()` type improvement as a point fix - maybe that can also be reverted with your patch as a follow-up.

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

PR Comment: https://git.openjdk.org/jdk/pull/23468#issuecomment-2736368410