| Index: src/compiler/verifier.cc
|
| diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc
|
| index 0f923ea42ae0292cf35d538a856f417edb27d609..c25f8c1ad5dfc018663451ebdab3c22d1bb7b15f 100644
|
| --- a/src/compiler/verifier.cc
|
| +++ b/src/compiler/verifier.cc
|
| @@ -1027,6 +1027,11 @@ void Verifier::Visitor::Check(Node* node) {
|
| CheckValueInputIs(node, 0, Type::Any());
|
| CheckTypeIs(node, Type::String());
|
| break;
|
| + case IrOpcode::kCheckHasInPrototypeChain:
|
| + CheckValueInputIs(node, 0, Type::Any());
|
| + CheckValueInputIs(node, 1, Type::NonInternal());
|
| + CheckTypeIs(node, Type::Boolean());
|
| + break;
|
|
|
| case IrOpcode::kCheckedInt32Add:
|
| case IrOpcode::kCheckedInt32Sub:
|
|
|