RFR: 8341966: Broken annotated module may lead to an exception in javac

Jan Lahoda jlahoda at openjdk.org
Mon Oct 14 05:40:46 UTC 2024


Consider a `module-info.class`, that both:
 - is wrong, so it will produce a bad-classfile error, for example due to an illegal `requires transitive java.base;`
 - and the module is annotated

If the javac proceeds to resolve the annotations (which is not the default, but can be pushed to do it), it will crash with an `AssertionError` while trying to un-proxy the annotations. This is because there's an assert that `requestingOwner.owner.kind == MDL`, but since the module is erroneous, the kind is `ERR`, and the assert fails.

The proposal is to loosen the assert a bit, and require `requestingOwner.owner instanceof ModuleSymbol`. That should still be sufficiently strong, while permitting broken modules to be handled.

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

Commit messages:
 - 8341966: Broken annotated module may lead to an exception in javac

Changes: https://git.openjdk.org/jdk/pull/21486/files
  Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=21486&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8341966
  Stats: 97 lines in 2 files changed: 93 ins; 0 del; 4 mod
  Patch: https://git.openjdk.org/jdk/pull/21486.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/21486/head:pull/21486

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


More information about the compiler-dev mailing list