RFR: 8296318: use-def assert: special case undetected loops nested in infinite loops [v3]

[Emanuel Peter]

On Wed, 14 Dec 2022 17:02:37 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote:

>> Emanuel Peter 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 five additional commits since the last revision:
>> 
>>  - infinite_subgraph check made ASSERT only
>>  - Merge branch 'master' into JDK-8296318
>>  - review suggestions
>>  - made assert more precise
>>  - 8296318: use-def assert: special case undetected loops nested in infinite loops
>
> Good.

Thanks @vnkozlov @chhagedorn for the reviews and suggestions!

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

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