mirror of
https://github.com/openjdk/jdk.git
synced 2026-04-19 19:30:51 +00:00
Merge branch 'JDK-8367499' into JDK-8367530
This commit is contained in:
commit
d35773cb99
@ -490,7 +490,6 @@ public class ExhaustivenessComputer {
|
||||
continue NEXT_PATTERN;
|
||||
}
|
||||
} else {
|
||||
boolean foundMatchingReplaced = false;
|
||||
Set<PatternDescription> pendingReplacedPatterns = new HashSet<>(replaces.getOrDefault(rpOther.nested[i], Set.of()));
|
||||
|
||||
while (!pendingReplacedPatterns.isEmpty()) {
|
||||
@ -499,15 +498,12 @@ public class ExhaustivenessComputer {
|
||||
pendingReplacedPatterns.remove(currentReplaced);
|
||||
|
||||
if (nestedRPOne.equals(currentReplaced)) {
|
||||
foundMatchingReplaced = true;
|
||||
break;
|
||||
continue ACCEPT;
|
||||
}
|
||||
|
||||
pendingReplacedPatterns.addAll(replaces.getOrDefault(currentReplaced, Set.of()));
|
||||
}
|
||||
if (!foundMatchingReplaced) {
|
||||
continue NEXT_PATTERN;
|
||||
}
|
||||
continue NEXT_PATTERN;
|
||||
}
|
||||
} else {
|
||||
continue NEXT_PATTERN;
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user