On Fri, 15 Apr 2022 18:23:38 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> We shouldn't parse comments that are going to be thrown away. > > Although the change is simple, I have no idea on how to test it. So I'm > tempted to affix the "noreg-other" or "noreg-hard" label on the JBS issue. This pull request has now been integrated. Changeset: 13fb1eed Author: Pavel Rappo <pra...@openjdk.org> URL: https://git.openjdk.java.net/jdk/commit/13fb1eed52f1a9152242119969a9d4a0c0627513 Stats: 2 lines in 1 file changed: 1 ins; 0 del; 1 mod 8284697: Avoid parsing the doc comment of an element that is not documented Reviewed-by: jjg ------------- PR: https://git.openjdk.java.net/jdk/pull/8266