RFR: 8257574: C2: "failed: parsing found no loops but there are some" assert failure

[Christian Hagedorn]

On Wed, 2 Dec 2020 08:28:41 GMT, Roland Westrelin <roland at openjdk.org> wrote:

> The assert fires because the loop only has an infinite loop which
> causes the has_loops flag to be cleared. But because a NeverBranch is
> also added to the graph on the next pass of loop opts (for
> verification), C2 finds a loop and that's inconsistent with the
> has_loops flag. This is supposed to be handled by the
> only_has_infinite_loops() call in the assert but not in this case
> because the loop is not an innermost loop.

Looks good to me.

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

Marked as reviewed by chagedorn (Reviewer).

PR: https://git.openjdk.java.net/jdk/pull/1556