RFR: 8314632: Intra-case dominance check fails in the presence of a guard [v2]

[Aggelos Biboudis]

> Intra-case domination should be affected by the presence of a guard. A missing check in dominance ensures that requirement.

Aggelos Biboudis has updated the pull request incrementally with one additional commit since the last revision:

  Address review

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/15515/files
  - new: https://git.openjdk.org/jdk/pull/15515/files/d3a194cf..b98fdea8

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

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

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