Index: src/compiler/verifier.cc |
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc |
index ab70ade6e569d8d294ace43ea487692b4d5b9de7..d0b40e74fc4f3b88ae289ddbd5f8da63a07f8de7 100644 |
--- a/src/compiler/verifier.cc |
+++ b/src/compiler/verifier.cc |
@@ -243,6 +243,12 @@ GenericGraphVisit::Control Verifier::Visitor::Pre(Node* node) { |
// Type is empty. |
CheckNotTyped(node); |
break; |
+ case IrOpcode::kTerminate: |
+ // Type is empty. |
+ CheckNotTyped(node); |
+ CHECK_EQ(1, control_count); |
+ CHECK_EQ(input_count, 1 + effect_count); |
+ break; |
// Common operators |
// ---------------- |