: nameSection(NameSection::create())

{

#if ENABLE(WEBASSEMBLY_DEBUGGER)

if (Options::enableWasmDebugger()) [[unlikely]]

debugInfo = WTF::makeUnique<ModuleDebugInfo>(*this);

#endif

{

const auto& constants = options.importedStringConstants();

if (constants.has_value()) {

m_importedStringConstants = constants->isolatedCopy();

// We are making an isolated copy so we are not holding onto a unique string specific to some random thread.

// The assert below ensures that. Empty strings are special because their isolated copies are all the same canonical atomic empty string.

ASSERT(!(m_importedStringConstants->impl()->isAtom() || m_importedStringConstants->impl()->isSymbol()) || m_importedStringConstants->impl() == StringImpl::empty());

}

const auto& builtinSetNames = options.qualifiedBuiltinSetNames();

for (const auto& name : builtinSetNames) {

auto copy = name.isolatedCopy();

// See the assert notes above.

ASSERT(!(copy.impl()->isAtom() || copy.impl()->isSymbol()) || copy.impl() == StringImpl::empty());

m_qualifiedBuiltinSetNames.append(copy);

}

populateImportShouldBeHidden();

{

// The following would theoretically be a strict ==, but an inline FixedBitVector reports a larger size than it was created with.

RELEASE_ASSERT(importShouldBeHidden.size() >= imports.size());

for (size_t i = 0; i < imports.size(); ++i) {

const Import& import = imports[i];

String moduleName = makeString(import.module);

if (importedStringConstantsEquals(moduleName))

importShouldBeHidden.testAndSet(i);

else if (builtinSetsInclude(moduleName)) {

auto* builtinSet = WebAssemblyBuiltinRegistry::singleton().findByQualifiedName(moduleName);

if (builtinSet) {

String fieldName = makeString(import.field);

if (builtinSet->findBuiltin(fieldName))

importShouldBeHidden.testAndSet(i);

}

}

}