File tree Expand file tree Collapse file tree 1 file changed +3
-1
lines changed Expand file tree Collapse file tree 1 file changed +3
-1
lines changed Original file line number Diff line number Diff line change @@ -1049,6 +1049,7 @@ ExprResult ConstraintSatisfactionChecker::Evaluate(
1049
1049
case NormalizedConstraint::ConstraintKind::Compound:
1050
1050
return Evaluate (static_cast <const CompoundConstraint &>(Constraint), MLTAL);
1051
1051
}
1052
+ llvm_unreachable (" Unknown ConstraintKind enum" );
1052
1053
}
1053
1054
1054
1055
static bool CheckConstraintSatisfaction (
@@ -2141,6 +2142,7 @@ bool SubstituteParameterMappings::substitute(NormalizedConstraint &N) {
2141
2142
return substitute (Compound.getRHS ());
2142
2143
}
2143
2144
}
2145
+ llvm_unreachable (" Unknown ConstraintKind enum" );
2144
2146
}
2145
2147
2146
2148
} // namespace
@@ -2561,7 +2563,6 @@ FormulaType SubsumptionChecker::Normalize(const NormalizedConstraint &NC) {
2561
2563
};
2562
2564
2563
2565
switch (NC.getKind ()) {
2564
-
2565
2566
case NormalizedConstraint::ConstraintKind::Atomic:
2566
2567
return {{find (&static_cast <const AtomicConstraint &>(NC))}};
2567
2568
@@ -2601,6 +2602,7 @@ FormulaType SubsumptionChecker::Normalize(const NormalizedConstraint &NC) {
2601
2602
return Res;
2602
2603
}
2603
2604
}
2605
+ llvm_unreachable (" Unknown ConstraintKind enum" );
2604
2606
}
2605
2607
2606
2608
void SubsumptionChecker::AddUniqueClauseToFormula (Formula &F, Clause C) {
You can’t perform that action at this time.
0 commit comments