Index: src/objects-debug.cc |
diff --git a/src/objects-debug.cc b/src/objects-debug.cc |
index ecbf9d64200275cb8d0edc3964ed51ce2ef6cdc0..891f0d2302daee66039130097592cd9981b56564 100644 |
--- a/src/objects-debug.cc |
+++ b/src/objects-debug.cc |
@@ -306,6 +306,17 @@ void JSObject::JSObjectVerify() { |
CHECK_EQ(map()->unused_property_fields(), |
(map()->inobject_properties() + properties()->length() - |
map()->NextFreePropertyIndex())); |
+ DescriptorArray* descriptors = map()->instance_descriptors(); |
+ for (int i = 0; i < map()->NumberOfOwnDescriptors(); i++) { |
+ if (descriptors->GetDetails(i).type() == FIELD) { |
+ Representation r = descriptors->GetDetails(i).representation(); |
+ int field = descriptors->GetFieldIndex(i); |
+ Object* value = RawFastPropertyAt(field); |
+ if (r.IsSmi()) ASSERT(value->IsSmi()); |
+ if (r.IsDouble()) ASSERT(value->IsHeapNumber()); |
+ if (r.IsHeapObject()) ASSERT(value->IsHeapObject()); |
+ } |
+ } |
} |
CHECK_EQ((map()->has_fast_smi_or_object_elements() || |
(elements() == GetHeap()->empty_fixed_array())), |