Chromium Code Reviews| Index: src/compiler/verifier.cc |
| diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc |
| index dbe41a665ebd6136005698b92fd998afef8a3176..21f8a3a545ae8c82e1509c43fd9942edab94abb9 100644 |
| --- a/src/compiler/verifier.cc |
| +++ b/src/compiler/verifier.cc |
| @@ -635,6 +635,10 @@ void Verifier::Visitor::Check(Node* node) { |
| // Type is String. |
| CheckTypeIs(node, Type::String()); |
| break; |
| + case IrOpcode::kJSGetSuperConstructor: |
|
Benedikt Meurer
2016/12/09 18:30:28
Check that the value input is Type::Function().
|
| + // Type is Receiver. |
| + CheckTypeIs(node, Type::Receiver()); |
| + break; |
| case IrOpcode::kJSLoadContext: |
| // Type can be anything. |