Implement a 2-pass heap verification algorithm.

runtime/vm/dart.cc

Index: runtime/vm/dart.cc
diff --git a/runtime/vm/dart.cc b/runtime/vm/dart.cc
index c48c8d679a658ea8c8066c43dcd05babb311d136..95d923a2644dbe1f60d2064e0448c9771ffb4c12 100644
--- a/runtime/vm/dart.cc
+++ b/runtime/vm/dart.cc
@@ -33,6 +33,8 @@ FileWriterFunction Dart::flow_graph_writer_ = NULL;
 // premark all objects in the vm_isolate_ heap.
 class PremarkingVisitor : public ObjectVisitor {
  public:
+  explicit PremarkingVisitor(Isolate* isolate) : ObjectVisitor(isolate) {}
+
   void VisitObject(RawObject* obj) {
     // RawInstruction objects are premarked on allocation.
     if (!obj->IsMarked()) {
@@ -69,7 +71,7 @@ bool Dart::InitOnce(Dart_IsolateCreateCallback create,
     Object::InitOnce();
     StubCode::InitOnce();
     Scanner::InitOnce();
-    PremarkingVisitor premarker;
+    PremarkingVisitor premarker(vm_isolate_);
     vm_isolate_->heap()->IterateOldObjects(&premarker);
   }
   Isolate::SetCurrent(NULL);  // Unregister the VM isolate from this thread.