8259235: javac crashes while attributing super method invocation

[lahodaj]

Code like:

public class SuperMethodCallBroken extends Undef implements I {
    public void test() {
        I.super.test();
    }
}
interface I {
    public default void test() {}
}

crashes javac. The reason is that when I.super is being attributed, the interfaces of the enclosing class are pruned to remove subtypes - but Undef is erroneous and is a subtype of every type. So I is removed from the list of interfaces to check, and javac crashes then.

The proposed fix is to ignore erroneous supertypes when looking for subtypes.

---

Progress

• Change must not contain extraneous whitespace
• Commit message must refer to an issue
• Change must be properly reviewed

Issue

• JDK-8259235: javac crashes while attributing super method invocation

Reviewers

• Vicente Romero (@vicente-romero-oracle - Reviewer)

Download

$ git fetch https://git.openjdk.java.net/jdk pull/1945/head:pull/1945
$ git checkout pull/1945

[bridgekeeper]

👋 Welcome back jlahoda! A progress list of the required criteria for merging this PR into master will be added to the body of your pull request. There are additional pull request commands available for use with this pull request.

[openjdk]

@lahodaj The following label will be automatically applied to this pull request:

• compiler

When this pull request is ready to be reviewed, an "RFR" email will be sent to the corresponding mailing list. If you would like to change these labels, use the /label pull request command.

[mlbridge]

Webrevs

• 00: Full (3ee8030)

[bridgekeeper]

@lahodaj This pull request has been inactive for more than 4 weeks and will be automatically closed if another 4 weeks passes without any activity. To avoid this, simply add a new comment to the pull request. Feel free to ask for assistance if you need help with progressing this pull request towards integration!

[vicente-romero-oracle]

looks good

[openjdk]

@lahodaj This change now passes all automated pre-integration checks.

ℹ️ This project also has non-automated pre-integration requirements. Please see the file CONTRIBUTING.md for details.

After integration, the commit message for the final commit will be:

8259235: javac crashes while attributing super method invocation

Reviewed-by: vromero

You can use pull request commands such as /summary, /contributor and /issue to adjust it as needed.

At the time when this comment was updated there had been 698 new commits pushed to the master branch:

• d423d36: 8258508: Merge G1RedirtyCardsQueue into qset
• bec6043: 8259570: (macos) tools/jpackage tests fails with 'hdiutil: couldn't eject "disk2" - Resource busy'
• ffbcf1b: 8260471: Change SystemDictionary::X_klass calls to vmClasses::X_klass
• 9af3339: 8261003: Bad Copyright header format after JDK-8183372
• 6dc3c6d: 8183372: Refactor java/lang/Class shell tests to java
• 105d3e8: 8260861: TrustStoreDescriptor log the same value
• 69189f8: 8256421: Add 2 HARICA roots to cacerts truststore
• f546fd0: 8260902: CDS mapping errors should not lead to unconditional output
• d7b1fc5: 8260707: java/lang/instrument/PremainClass/InheritAgent0100.java times out
• 0093183: 8260368: [PPC64] GC interface needs enhancement to support GCs with load barriers
• ... and 688 more: https://git.openjdk.java.net/jdk/compare/d3dddb6a56776f8179cadf163510b37536e99ac4...master

As there are no conflicts, your changes will automatically be rebased on top of these commits when integrating. If you prefer to avoid this automatic rebasing, please check the documentation for the /integrate command for further details.

➡️ To integrate this PR with the above commit message to the master branch, type /integrate in a new comment.

[bridgekeeper]

@lahodaj This pull request has been inactive for more than 4 weeks and will be automatically closed if another 4 weeks passes without any activity. To avoid this, simply add a new comment to the pull request. Feel free to ask for assistance if you need help with progressing this pull request towards integration!

[lahodaj]

/integrate

[openjdk]

@lahodaj Since your change was applied there have been 1079 commits pushed to the master branch:

• bf90e85: 8262926: JDK-8260966 broke AIX build
• 54dfd79: 8262256: C2 intrinsincs should not modify IR when bailing out
• 0265ab6: 8262466: linux libsaproc/DwarfParser.cpp delete DwarfParser object in early return
• c15801e: 8261142: AArch64: Incorrect instruction encoding when right-shifting vectors with shift amount equals to the element width
• 044e2a2: 8183569: Assert the same limits are used in parse_xss and globals.hpp
• 5de0f4b: 8260869: Test java/foreign/TestHandshake.java fails intermittently
• c9097a6: 8262893: Enable more doclint checks in javadoc build
• 40bdf52: 8262096: Vector API fails to work due to VectorShape initialization exception
• 93ffe6a: 8262892: minor typo in implSpec comment
• 4f4d0f5: 8261969: SNIHostName should check if the encoded hostname conform to RFC 3490
• ... and 1069 more: https://git.openjdk.java.net/jdk/compare/d3dddb6a56776f8179cadf163510b37536e99ac4...master

Your commit was automatically rebased without conflicts.

Pushed as commit 6d3c858.

💡 You may see a message that your pull request was closed with unmerged commits. This can be safely ignored.