RFR: 8334870: javac does not accept classfiles with certain permitted RuntimeVisibleParameterAnnotations and RuntimeInvisibleParameterAnnotations attributes. [v2]

[Jan Lahoda]

> JVMS 4.7.18 and 4.7.19 say this about the entries in the RuntimeVisibleParameterAnnotations and RuntimeInvisibleParameterAnnotations attributes:
> 
>> The i'th entry in the parameter_annotations table may, but is not required to, correspond to the i'th parameter descriptor in the method descriptor (§4.3.3).
> 
> When reading classfiles, javac does not follow this specification (which puts no requirements on the number of entries in the attributes), but rather expects as many entries as the `MethodSymbol.type` has (which is either based in the `Signature` attribute, if present, or the method descritor, if `Signature` is not present).
> 
> This patch proposes to adjust javac to accept the attributes with any number of entries, implementing a number of heuristics to map the content of the entries in the attributes to the parameters. There are comments in the code explaining the heuristics.
> 
> javac will ignore the RuntimeVisibleParameterAnnotations and RuntimeInvisibleParameterAnnotations attributes it cannot handle with a warning.

Jan Lahoda has updated the pull request incrementally with one additional commit since the last revision:

  Reflecting review feedback.

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/19860/files
  - new: https://git.openjdk.org/jdk/pull/19860/files/b16eafae..3404a1f0

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=19860&range=01
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=19860&range=00-01

  Stats: 182 lines in 2 files changed: 163 ins; 5 del; 14 mod
  Patch: https://git.openjdk.org/jdk/pull/19860.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/19860/head:pull/19860

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