Integrated: 8337980: Javac allows invocation of an inherited instance method from a static method

[Archie Cobbs]

On Fri, 9 Aug 2024 20:45:28 GMT, Archie Cobbs <acobbs at openjdk.org> wrote:

> The method `Resolve.findFun()` performs the lookup for an unqualified method invocation like `foo()`. It does this by invoking `findMethod()` to find the method in each containing class scope, working from the inside out.
> 
> In this loop, as soon as it finds a matching method, but before returning, it performs the checks that prevent (a) invoking an instance method from a static context, and (b) invoking an instance method of the same class from an early-initialization context.
> 
> However, these checks don't account for the fact that in some cases `findMethod()` can return an `AmbiguityError` even though the code is perfectly valid. This is because `findMethod()` performs the "maximally specific" logic of JLS §15.12.2.5 ("Choosing the Most Specific Method"), but not the "preferred method" logic. Instead, in the case there are multiple "maximally specific" methods, they are all returned wrapped in an `AmbiguityError`; disambiguation is the caller's job.
> 
> When this happens, if the code is actually valid, there's no problem, but if the code has one of the errors (a) or (b), the error does not get detected, with resulting downstream chaos.
> 
> Here's an example of when `findMethod()` can return an `AmbiguityError` for perfectly valid code:
> 
> public class Bug {
> 
>     public interface A {
>         int op();
>     }
> 
>     public abstract static class B {
>         public abstract int op();
>     }
> 
>     public abstract static class C extends B implements A {
> 
>         public int test() {
>             return op();   // findMethod("op") returns both A.op() and B.op() here
>         }
>     }
> }
> 
> The fix in this PR is to add a few lines to `findFun()` to resolve the ambiguity (if possible) before performing checks (a) and (b). It's possible there is an opportunity for a more thorough refactoring here, but short of that, I tried to add a few helpful comments.

This pull request has now been integrated.

Changeset: 38c1d651
Author:    Archie Cobbs <acobbs at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/38c1d6514881363ffa4ed20b34bd8cdfd8343f5f
Stats:     77 lines in 5 files changed: 57 ins; 16 del; 4 mod

8337980: Javac allows invocation of an inherited instance method from a static method

Co-authored-by: Maurizio Cimadamore <mcimadamore at openjdk.org>
Reviewed-by: mcimadamore, jlahoda

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

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