RFR: 8302124: HotSpot Style Guide should permit noreturn attribute [v2]

Tue Feb 28 02:03:38 UTC 2023

On Mon, 27 Feb 2023 19:01:42 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote:

>> Kim Barrett has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains two additional commits since the last revision:
>> 
>>  - Merge branch 'master' into style-guide-noreturn
>>  - style guide permits noreturn attributes
>
> Approved.

Thanks for reviews, and final approval from @vnkozlov .

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

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