On Fri, 31 Mar 2023 13:00:08 GMT, Erik Joelsson <er...@openjdk.org> wrote:
> That said, it may be worth adding a comment that this warning has only been > observed with GCC 7. That will help in the future when someone tries to > remove disabled warnings. Then the comment is better than nothing. ------------- PR Comment: https://git.openjdk.org/jdk/pull/13253#issuecomment-1492230988