RFR: 8374180: C2 crash in PhaseCCP::verify_type - fatal error: Not monotonic [v3]

Tue Jan 13 08:53:42 UTC 2026

On Tue, 13 Jan 2026 07:31:53 GMT, Hannes Greule <hgreule at openjdk.org> wrote:

>> Quan Anh Mai has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains four additional commits since the last revision:
>> 
>>  - Merge branch 'master' into widen
>>  - copyright year
>>  - Merge branch 'master' into widen
>>  - RangeInference::infer should ensure correct value of _widen
>
> The change looks good. I wonder if it's worth to add a comment about it somewhere?

@SirYwell Thanks a lot for the reviews, I have added a comment about it in `RangeInference::infer_binary`.

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

PR Comment: https://git.openjdk.org/jdk/pull/28952#issuecomment-3742923349