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

[Roland Westrelin]

On Fri, 4 Dec 2020 07:19:36 GMT, Tobias Hartmann <thartmann 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.

@TobiHartmann @neliasso @chhagedorn thanks for the reviews

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

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