ObjectInitializationScope.cpp [plain text]
#include "config.h"
#include "ObjectInitializationScope.h"
#include "JSCInlines.h"
#include "JSObject.h"
#include "Operations.h"
namespace JSC {
#ifndef NDEBUG
ObjectInitializationScope::ObjectInitializationScope(VM& vm)
: m_vm(vm)
, m_disallowGC(false)
, m_disallowVMReentry(false)
{
}
ObjectInitializationScope::~ObjectInitializationScope()
{
if (!m_object)
return;
verifyPropertiesAreInitialized(m_object);
}
void ObjectInitializationScope::notifyAllocated(JSObject* object, bool wasCreatedUninitialized)
{
if (wasCreatedUninitialized) {
m_disallowGC.enable();
m_disallowVMReentry.enable();
m_object = object;
} else
verifyPropertiesAreInitialized(object);
}
void ObjectInitializationScope::notifyInitialized(JSObject* object)
{
if (m_object) {
m_disallowGC.disable();
m_disallowVMReentry.disable();
m_object = nullptr;
}
verifyPropertiesAreInitialized(object);
}
void ObjectInitializationScope::verifyPropertiesAreInitialized(JSObject* object)
{
Butterfly* butterfly = object->butterfly();
Structure* structure = object->structure(m_vm);
IndexingType indexingType = structure->indexingType();
unsigned vectorLength = butterfly->vectorLength();
if (UNLIKELY(hasUndecided(indexingType)) || !hasIndexedProperties(indexingType)) {
} else if (LIKELY(!hasAnyArrayStorage(indexingType))) {
auto data = butterfly->contiguous().data();
for (unsigned i = 0; i < vectorLength; ++i) {
if (isScribbledValue(data[i].get())) {
dataLogLn("Found scribbled value at i = ", i);
ASSERT_NOT_REACHED();
}
}
} else {
ArrayStorage* storage = butterfly->arrayStorage();
for (unsigned i = 0; i < vectorLength; ++i) {
if (isScribbledValue(storage->m_vector[i].get())) {
dataLogLn("Found scribbled value at i = ", i);
ASSERT_NOT_REACHED();
}
}
}
auto isSafeEmptyValueForGCScanning = [] (JSValue value) {
#if USE(JSVALUE64)
return !value;
#else
return !value || !JSValue::encode(value);
#endif
};
for (int64_t i = 0; i < static_cast<int64_t>(structure->outOfLineCapacity()); i++) {
if (i + firstOutOfLineOffset > structure->lastOffset())
ASSERT(isSafeEmptyValueForGCScanning(butterfly->propertyStorage()[-i - 1].get()));
else if (isScribbledValue(butterfly->propertyStorage()[-i - 1].get())) {
dataLogLn("Found scribbled property at i = ", -i - 1);
ASSERT_NOT_REACHED();
}
}
}
#endif
}