Skip to content

Commit 85e73ed

Browse files
committed
RequirementMachine: Move a bit of code in computeCompletion() for clarity
1 parent c0c109d commit 85e73ed

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

lib/AST/RequirementMachine/RequirementMachine.cpp

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -485,6 +485,10 @@ RequirementMachine::computeCompletion(RewriteSystem::ValidityPolicy policy) {
485485

486486
unsigned rulesAdded = (System.getRules().size() - ruleCount);
487487

488+
// If buildPropertyMap() didn't add any new rules, we are done.
489+
if (rulesAdded == 0)
490+
break;
491+
488492
if (Stats) {
489493
Stats->getFrontendCounters()
490494
.NumRequirementMachineUnifiedConcreteTerms += rulesAdded;
@@ -507,10 +511,6 @@ RequirementMachine::computeCompletion(RewriteSystem::ValidityPolicy policy) {
507511
return std::make_pair(CompletionResult::MaxRuleCount,
508512
System.getRules().size() - 1);
509513
}
510-
511-
// If buildPropertyMap() didn't add any new rules, we are done.
512-
if (rulesAdded == 0)
513-
break;
514514
}
515515
}
516516

0 commit comments

Comments
 (0)