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

[Tobias Hartmann]

Backport of [JDK-8296318](https://bugs.openjdk.java.net/browse/JDK-8296318). Applies cleanly. Approval is pending.

Thanks,
Tobias

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

Commit messages:
 - 8296318: use-def assert: special case undetected loops nested in infinite loops

Changes: https://git.openjdk.org/jdk20u/pull/51/files
 Webrev: https://webrevs.openjdk.org/?repo=jdk20u&pr=51&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8296318
  Stats: 138 lines in 5 files changed: 113 ins; 23 del; 2 mod
  Patch: https://git.openjdk.org/jdk20u/pull/51.diff
  Fetch: git fetch https://git.openjdk.org/jdk20u.git pull/51/head:pull/51

PR: https://git.openjdk.org/jdk20u/pull/51