Index: src/compiler/verifier.cc |
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc |
index 26fd6933c631acddb27311355b3317079ab05983..d0e8a99997a9750ee2d5d6ea5982df11eacc446c 100644 |
--- a/src/compiler/verifier.cc |
+++ b/src/compiler/verifier.cc |
@@ -229,6 +229,15 @@ void Verifier::Visitor::Check(Node* node) { |
// Type is empty. |
CheckNotTyped(node); |
break; |
+ case IrOpcode::kIfSuccess: |
+ case IrOpcode::kIfException: { |
+ // IfSuccess and IfException continuation only on throwing nodes. |
+ Node* input = NodeProperties::GetControlInput(node, 0); |
+ CHECK(!input->op()->HasProperty(Operator::kNoThrow)); |
+ // Type is empty. |
+ CheckNotTyped(node); |
+ break; |
+ } |
case IrOpcode::kSwitch: { |
// Switch uses are Case and Default. |
int count_case = 0, count_default = 0; |