Use assert(false) instead of abort()

This commit is contained in:
Carlo Nucera 2020-07-28 15:39:45 -04:00
parent cfe96bd7ce
commit 2980b244b7

View file

@ -14,7 +14,7 @@ bool derivationIsCA(DerivationType dt) {
}; };
// Since enums can have non-variant values, but making a `default:` would // Since enums can have non-variant values, but making a `default:` would
// disable exhaustiveness warnings. // disable exhaustiveness warnings.
abort(); assert(false);
} }
bool derivationIsFixed(DerivationType dt) { bool derivationIsFixed(DerivationType dt) {
@ -22,7 +22,7 @@ bool derivationIsFixed(DerivationType dt) {
case DerivationType::Regular: return false; case DerivationType::Regular: return false;
case DerivationType::CAFixed: return true; case DerivationType::CAFixed: return true;
}; };
abort(); assert(false);
} }
bool derivationIsImpure(DerivationType dt) { bool derivationIsImpure(DerivationType dt) {
@ -30,7 +30,7 @@ bool derivationIsImpure(DerivationType dt) {
case DerivationType::Regular: return false; case DerivationType::Regular: return false;
case DerivationType::CAFixed: return true; case DerivationType::CAFixed: return true;
}; };
abort(); assert(false);
} }
// FIXME Put this somewhere? // FIXME Put this somewhere?