| 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
|
| // ----------------
|
|
|