On Mon, 30 May 2022 07:30:49 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote: > Looks good! That's useful to mark them with a warning when analyzing dead loop problems. Thanks for reviewing, Christian! ------------- PR: https://git.openjdk.java.net/jdk/pull/8916