#include <verifier.h>

Inheritance diagram for dart::VerifyPointersVisitor:

Public Member Functions
	VerifyPointersVisitor (IsolateGroup isolate_group, ObjectSet allocated_set, const char *msg)

void	VisitPointers (ObjectPtr first, ObjectPtr last) override

Public Member Functions inherited from dart::ObjectPointerVisitor
	ObjectPointerVisitor (IsolateGroup *isolate_group)

virtual	~ObjectPointerVisitor ()

IsolateGroup *	isolate_group () const

virtual void	VisitTypedDataViewPointers (TypedDataViewPtr view, CompressedObjectPtr first, CompressedObjectPtr last)

virtual void	VisitPointers (ObjectPtr first, ObjectPtr last)=0

void	VisitCompressedPointers (uword heap_base, CompressedObjectPtr first, CompressedObjectPtr last)

void	VisitPointers (ObjectPtr *p, intptr_t len)

void	VisitPointer (ObjectPtr *p)

const char *	gc_root_type () const

void	set_gc_root_type (const char *gc_root_type)

void	clear_gc_root_type ()

virtual bool	visit_weak_persistent_handles () const

virtual bool	trace_values_through_fields () const

const ClassTable *	class_table () const

virtual bool	CanVisitSuspendStatePointers (SuspendStatePtr suspend_state)

Static Public Member Functions
static void	VerifyPointers (const char *msg, MarkExpectation mark_expectation=kForbidMarked)

Detailed Description

Definition at line 44 of file verifier.h.

Constructor & Destructor Documentation

◆ VerifyPointersVisitor()

dart::VerifyPointersVisitor::VerifyPointersVisitor	(	IsolateGroup *	isolate_group,
		ObjectSet *	allocated_set,
		const char *	msg
	)

inline

Definition at line 46 of file verifier.h.

      : ObjectPointerVisitor(isolate_group),
        allocated_set_(allocated_set),
        msg_(msg) {
    ASSERT(msg_ != nullptr);
  }

Member Function Documentation

◆ VerifyPointers()

void dart::VerifyPointersVisitor::VerifyPointers	(	const char *	msg,
		MarkExpectation	mark_expectation = `kForbidMarked`
	)

static

Definition at line 81 of file verifier.cc.

                                                                             {
  Thread* thread = Thread::Current();
  auto isolate_group = thread->isolate_group();
  HeapIterationScope iteration(thread);
  StackZone stack_zone(thread);
  ObjectSet* allocated_set = isolate_group->heap()->CreateAllocatedObjectSet(
      stack_zone.GetZone(), mark_expectation);
 
  VerifyPointersVisitor visitor(isolate_group, allocated_set, msg);
  // Visit all strongly reachable objects.
  iteration.IterateObjectPointers(&visitor, ValidationPolicy::kValidateFrames);
  VerifyWeakPointersVisitor weak_visitor(&visitor);
 
  // Visit weak handles and prologue weak handles.
  isolate_group->VisitWeakPersistentHandles(&weak_visitor);
}

◆ VisitPointers()

void dart::VerifyPointersVisitor::VisitPointers	(	ObjectPtr *	first,
		ObjectPtr *	last
	)

overridevirtual

Implements dart::ObjectPointerVisitor.

Definition at line 46 of file verifier.cc.

                                                                        {
  for (ObjectPtr* ptr = from; ptr <= to; ptr++) {
    ObjectPtr obj = *ptr;
    if (obj->IsHeapObject()) {
      if (!allocated_set_->Contains(obj)) {
        FATAL("%s: Invalid pointer: *0x%" Px " = 0x%" Px "\n", msg_,
              reinterpret_cast<uword>(ptr), static_cast<uword>(obj));
      }
    }
  }
}

The documentation for this class was generated from the following files:

third_party/dart-lang/sdk/runtime/vm/heap/verifier.h
third_party/dart-lang/sdk/runtime/vm/heap/verifier.cc