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

[Goetz Lindenmaier]

I backport this for parity with 17.0.8-oracle.

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

Commit messages:
 - Backport 736fcd49f7cd3aa6f226b2e088415eaf05f97ee8

Changes: https://git.openjdk.org/jdk17u-dev/pull/1247/files
 Webrev: https://webrevs.openjdk.org/?repo=jdk17u-dev&pr=1247&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/jdk17u-dev/pull/1247.diff
  Fetch: git fetch https://git.openjdk.org/jdk17u-dev.git pull/1247/head:pull/1247

PR: https://git.openjdk.org/jdk17u-dev/pull/1247