| Index: runtime/vm/gc_marker.cc
|
| diff --git a/runtime/vm/gc_marker.cc b/runtime/vm/gc_marker.cc
|
| index 8c10e81582cb6e0f81a0027104b86f322c0a41de..6bbec0fcd88d80a846281feafd7d37147b35a57d 100644
|
| --- a/runtime/vm/gc_marker.cc
|
| +++ b/runtime/vm/gc_marker.cc
|
| @@ -164,7 +164,9 @@ class MarkingVisitor : public ObjectPointerVisitor {
|
| private:
|
| void MarkAndPush(RawObject* raw_obj) {
|
| ASSERT(raw_obj->IsHeapObject());
|
| - ASSERT(page_space_->Contains(RawObject::ToAddr(raw_obj)));
|
| + ASSERT((FLAG_verify_before_gc || FLAG_verify_before_gc) ?
|
| + page_space_->Contains(RawObject::ToAddr(raw_obj)) :
|
| + true);
|
|
|
| // Mark the object and push it on the marking stack.
|
| ASSERT(!raw_obj->IsMarked());
|
|
|