Integrated: 8284697: Avoid parsing the doc comment of an element that is not documented

Tue Apr 19 16:31:29 UTC 2022

On Fri, 15 Apr 2022 18:23:38 GMT, Pavel Rappo <prappo at 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 <prappo at 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