blob: ee6ac193f821c27b8c4d1bc6efb254ba462f017a [file] [log] [blame]
// 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"
#include "vm/heap.h"
#include "vm/isolate.h"
#include "vm/object.h"
#include "vm/object_set.h"
#include "vm/raw_object.h"
#include "vm/stack_frame.h"
namespace dart {
DEFINE_FLAG(bool, verify_on_transition, false, "Verify on dart <==> VM.");
void VerifyObjectVisitor::VisitObject(RawObject* raw_obj) {
allocated_set_->Add(raw_obj);
raw_obj->Validate(isolate());
}
void VerifyPointersVisitor::VisitPointers(RawObject** first, RawObject** last) {
for (RawObject** current = first; current <= last; current++) {
RawObject* raw_obj = *current;
if (raw_obj->IsHeapObject()) {
if (!allocated_set_->Contains(raw_obj)) {
uword raw_addr = RawObject::ToAddr(raw_obj);
FATAL1("Invalid object pointer encountered %#"Px"\n", raw_addr);
}
}
}
}
void VerifyWeakPointersVisitor::VisitHandle(uword addr) {
FinalizablePersistentHandle* handle =
reinterpret_cast<FinalizablePersistentHandle*>(addr);
RawObject* raw_obj = handle->raw();
visitor_->VisitPointer(&raw_obj);
}
void VerifyPointersVisitor::VerifyPointers() {
NoGCScope no_gc;
Isolate* isolate = Isolate::Current();
ObjectSet* allocated_set = isolate->heap()->CreateAllocatedObjectSet();
VerifyPointersVisitor visitor(isolate, allocated_set);
// Visit all strongly reachable objects.
isolate->VisitObjectPointers(&visitor,
false, // skip prologue weak handles
StackFrameIterator::kValidateFrames);
VerifyWeakPointersVisitor weak_visitor(&visitor);
// Visit weak handles and prologue weak handles.
isolate->VisitWeakPersistentHandles(&weak_visitor,
true); // visit prologue weak handles
delete allocated_set;
}
} // namespace dart