RFR: 8335709: C2: assert(!loop->is_member(get_loop(useblock))) failed: must be outside loop [v2]

[Roland Westrelin]

> When a `NeverBranch` is added to an infinite loop, the `NeverBanch`
> and its projection that branches in the loop are assigned to the wrong
> loop. The confuses the logic that tries to sink nodes out of loop.

Roland Westrelin has updated the pull request incrementally with one additional commit since the last revision:

  Update test/hotspot/jtreg/compiler/loopopts/InfiniteLoopBadControlNeverBranch.java
  
  Co-authored-by: Tobias Hartmann <tobias.hartmann at oracle.com>

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/20231/files
  - new: https://git.openjdk.org/jdk/pull/20231/files/114add0f..9f9371b1

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=20231&range=01
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=20231&range=00-01

  Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
  Patch: https://git.openjdk.org/jdk/pull/20231.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/20231/head:pull/20231

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