Remove assumption from the heap verifier that objects occupy a narrow range of the address space.

runtime/vm/verifier.cc

 // Copyright (c) 2012, 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 "platform/assert.h"
 #include "vm/dart.h"
 #include "vm/dart_api_state.h"
 #include "vm/freelist.h"
@@ skipping 51 matching lines @@
 void VerifyWeakPointersVisitor::VisitHandle(uword addr) {
   FinalizablePersistentHandle* handle =
       reinterpret_cast<FinalizablePersistentHandle*>(addr);
   RawObject* raw_obj = handle->raw();
   visitor_->VisitPointer(&raw_obj);
 }
 
 
 void VerifyPointersVisitor::VerifyPointers(MarkExpectation mark_expectation) {
   NoSafepointScope no_safepoint;
-  Isolate* isolate = Isolate::Current();
+  Thread* thread = Thread::Current();
+  Isolate* isolate = thread->isolate();
+  StackZone stack_zone(thread);
   ObjectSet* allocated_set =
-      isolate->heap()->CreateAllocatedObjectSet(mark_expectation);
+      isolate->heap()->CreateAllocatedObjectSet(stack_zone.GetZone(),
+                                                mark_expectation);
   VerifyPointersVisitor visitor(isolate, allocated_set);
   // Visit all strongly reachable objects.
   isolate->IterateObjectPointers(&visitor,
                                  StackFrameIterator::kValidateFrames);
   VerifyWeakPointersVisitor weak_visitor(&visitor);
   // Visit weak handles and prologue weak handles.
   isolate->VisitWeakPersistentHandles(&weak_visitor);
-  delete allocated_set;
 }
 
 
 #if defined(DEBUG)
 VerifyCanonicalVisitor::VerifyCanonicalVisitor(Thread* thread)
     : thread_(thread),
       instanceHandle_(Instance::Handle(thread->zone())) {
 }
 
 
 void VerifyCanonicalVisitor::VisitObject(RawObject* obj) {
   if (obj->GetClassId() >= kInstanceCid) {
     if (obj->IsCanonical()) {
       instanceHandle_ ^= obj;
       ASSERT(instanceHandle_.CheckIsCanonical(thread_));
     }
   }
 }
 #endif  // defined(DEBUG)
 
 }  // namespace dart