Chromium Code Reviews| Index: src/objects-debug.cc |
| diff --git a/src/objects-debug.cc b/src/objects-debug.cc |
| index ccb4b8d2a46899a8704ded3c34e13359299b613a..fee4ab36cce480e8d4bec0455ab318c488c7d08c 100644 |
| --- a/src/objects-debug.cc |
| +++ b/src/objects-debug.cc |
| @@ -928,6 +928,7 @@ void Module::ModuleVerify() { |
| requested_modules()->ObjectVerify(); |
| VerifySmiField(kFlagsOffset); |
| embedder_data()->ObjectVerify(); |
| + CHECK(shared()->name()->IsSymbol()); |
| // TODO(neis): Check more. |
| } |