Provide API support for weak handles and post-mortem finalization.

runtime/vm/verifier.cc

 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #include "vm/verifier.h"
 
 #include "vm/assert.h"
 #include "vm/dart.h"
+#include "vm/dart_api_state.h"
 #include "vm/freelist.h"
 #include "vm/heap.h"
 #include "vm/isolate.h"
 #include "vm/object.h"
 #include "vm/raw_object.h"
 #include "vm/stack_frame.h"
 
 namespace dart {
 
 DEFINE_FLAG(bool, verify_on_transition, false, "Verify on dart <==> VM.");
@@ skipping 13 matching lines @@
       if (!Isolate::Current()->heap()->Contains(obj_addr) &&
           !Dart::vm_isolate()->heap()->Contains(obj_addr)) {
         FATAL1("Invalid object pointer encountered 0x%lx\n", obj_addr);
       }
       raw_obj->Validate();
     }
   }
 }
 
 
+void VerifyWeakPointersVisitor::VisitHandle(uword addr) {
+  WeakPersistentHandle* handle = reinterpret_cast<WeakPersistentHandle*>(addr);
+  RawObject* raw_obj = handle->raw();
+  visitor_->VisitPointer(&raw_obj);
+}
+
+
 void VerifyPointersVisitor::VerifyPointers() {
   NoGCScope no_gc;
+  Isolate* isolate = Isolate::Current();
   VerifyPointersVisitor visitor;
-  Isolate::Current()->VisitObjectPointers(&visitor,
-                                          StackFrameIterator::kValidateFrames);
+  isolate->VisitObjectPointers(&visitor,
+                               StackFrameIterator::kValidateFrames);
+  VerifyWeakPointersVisitor weak_visitor(&visitor);
+  isolate->VisitWeakPersistentHandles(&weak_visitor);
 }
 
 }  // namespace dart