Integrated: 8361215: Add AOT test case: verification constraint classes are excluded

[Ioi Lam]

On Tue, 1 Jul 2025 20:28:15 GMT, Ioi Lam <iklam at openjdk.org> wrote:

> If the AOT cache contains a class like this:
> 
> 
> class A {
>     X foo() {
>         return new Y();
>     }
> }
> 
> A will be stored with the following verification constraint:
> 
> - `X` must be a supertype of `Y`
> 
> This constraint is checked when class `A` is linked.
> 
> I added a test case for this scenario to make sure it works properly even when `X` and/or `Y` are excluded from the AOT cache.
> 
> I also fixed some pre-existing problems with test exclusion and logging.

This pull request has now been integrated.

Changeset: 055d2ffa
Author:    Ioi Lam <iklam at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/055d2ffa69e129b7617369e268f272517f25e2d7
Stats:     70 lines in 3 files changed: 54 ins; 1 del; 15 mod

8361215: Add AOT test case: verification constraint classes are excluded

Reviewed-by: ccheung

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

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