| Index: src/compiler/verifier.cc
|
| diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc
|
| index 148c8a5989deb70114866a49375a7912cd6c6118..10856a9928296f3ce84bace30474f89a7292cc5a 100644
|
| --- a/src/compiler/verifier.cc
|
| +++ b/src/compiler/verifier.cc
|
| @@ -1714,6 +1714,7 @@ void Verifier::VerifyNode(Node* node) {
|
| bool check_no_control = node->op()->ControlOutputCount() == 0;
|
| bool check_no_effect = node->op()->EffectOutputCount() == 0;
|
| bool check_no_frame_state = node->opcode() != IrOpcode::kFrameState;
|
| + int effect_edges = 0;
|
| if (check_no_effect || check_no_control) {
|
| for (Edge edge : node->use_edges()) {
|
| Node* const user = edge.from();
|
| @@ -1722,6 +1723,7 @@ void Verifier::VerifyNode(Node* node) {
|
| CHECK(!check_no_control);
|
| } else if (NodeProperties::IsEffectEdge(edge)) {
|
| CHECK(!check_no_effect);
|
| + effect_edges++;
|
| } else if (NodeProperties::IsFrameStateEdge(edge)) {
|
| CHECK(!check_no_frame_state);
|
| }
|
|
|