Integrated: 8371480: VerifyError after JDK-8369654

Vicente Romero vromero at openjdk.org
Thu Nov 13 15:31:34 UTC 2025


On Wed, 12 Nov 2025 22:19:41 GMT, Vicente Romero <vromero at openjdk.org> wrote:

> It seems like the fix for JDK-8369654 went too far simplifying the new algo equivalent to the more complex idiom: `erasure(lub(t))`
> As defined in the mentioned fix, it could happen that the list of erased supertypes lists interfaces first followed by classes. Getting the first element in this list would yield an interface which won't then be equivalent to the idiom it is replacing. The current fix adds another operation that should minimize the list of supertypes and sort them classes first and then interfaces.
> 
> TIA

This pull request has now been integrated.

Changeset: 8102f436
Author:    Vicente Romero <vromero at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/8102f436f5586253302cd8cef49bfe2b4af41693
Stats:     142 lines in 3 files changed: 133 ins; 0 del; 9 mod

8371480: VerifyError after JDK-8369654

Reviewed-by: mcimadamore

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

PR: https://git.openjdk.org/jdk/pull/28276


More information about the compiler-dev mailing list