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