[JSC] Weak should only accept cell pointees.
[WebKit-https.git] / Source / JavaScriptCore / builtins / BuiltinExecutables.cpp
1 /*
2  * Copyright (C) 2014 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
20  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
21  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
24  */
25
26
27 #include "config.h"
28 #include "BuiltinExecutables.h"
29
30 #include "BuiltinNames.h"
31 #include "Executable.h"
32 #include "JSCInlines.h"
33 #include "Parser.h"
34 #include <wtf/NeverDestroyed.h>
35
36 namespace JSC {
37
38 BuiltinExecutables::BuiltinExecutables(VM& vm)
39     : m_vm(vm)
40 #define INITIALIZE_BUILTIN_SOURCE_MEMBERS(name, functionName, length) , m_##name##Source(makeSource(StringImpl::createFromLiteral(s_##name, length)))
41     JSC_FOREACH_BUILTIN(INITIALIZE_BUILTIN_SOURCE_MEMBERS)
42 #undef EXPOSE_BUILTIN_STRINGS
43 {
44 }
45
46 UnlinkedFunctionExecutable* BuiltinExecutables::createDefaultConstructor(ConstructorKind constructorKind, const Identifier& name)
47 {
48     static NeverDestroyed<const String> baseConstructorCode(ASCIILiteral("(function () { })"));
49     static NeverDestroyed<const String> derivedConstructorCode(ASCIILiteral("(function () { super(...arguments); })"));
50
51     switch (constructorKind) {
52     case ConstructorKind::None:
53         break;
54     case ConstructorKind::Base:
55         return createExecutableInternal(makeSource(baseConstructorCode), name, constructorKind, ConstructAbility::CanConstruct);
56     case ConstructorKind::Derived:
57         return createExecutableInternal(makeSource(derivedConstructorCode), name, constructorKind, ConstructAbility::CanConstruct);
58     }
59     ASSERT_NOT_REACHED();
60     return nullptr;
61 }
62
63 UnlinkedFunctionExecutable* BuiltinExecutables::createExecutableInternal(const SourceCode& source, const Identifier& name, ConstructorKind constructorKind, ConstructAbility constructAbility)
64 {
65     JSTextPosition positionBeforeLastNewline;
66     ParserError error;
67     bool isParsingDefaultConstructor = constructorKind != ConstructorKind::None;
68     JSParserBuiltinMode builtinMode = isParsingDefaultConstructor ? JSParserBuiltinMode::NotBuiltin : JSParserBuiltinMode::Builtin;
69     UnlinkedFunctionKind kind = isParsingDefaultConstructor ? UnlinkedNormalFunction : UnlinkedBuiltinFunction;
70     RefPtr<SourceProvider> sourceOverride = isParsingDefaultConstructor ? source.provider() : nullptr;
71     std::unique_ptr<ProgramNode> program = parse<ProgramNode>(
72         &m_vm, source, Identifier(), builtinMode,
73         JSParserStrictMode::NotStrict, SourceParseMode::ProgramMode, error,
74         &positionBeforeLastNewline, constructorKind);
75
76     if (!program) {
77         dataLog("Fatal error compiling builtin function '", name.string(), "': ", error.message());
78         CRASH();
79     }
80
81     StatementNode* exprStatement = program->singleStatement();
82     RELEASE_ASSERT(exprStatement);
83     RELEASE_ASSERT(exprStatement->isExprStatement());
84     ExpressionNode* funcExpr = static_cast<ExprStatementNode*>(exprStatement)->expr();
85     RELEASE_ASSERT(funcExpr);
86     RELEASE_ASSERT(funcExpr->isFuncExprNode());
87     FunctionMetadataNode* metadata = static_cast<FuncExprNode*>(funcExpr)->metadata();
88     RELEASE_ASSERT(!program->hasCapturedVariables());
89     
90     metadata->setEndPosition(positionBeforeLastNewline);
91     RELEASE_ASSERT(metadata);
92     RELEASE_ASSERT(metadata->ident().isNull());
93     
94     // This function assumes an input string that would result in a single anonymous function expression.
95     metadata->setEndPosition(positionBeforeLastNewline);
96     RELEASE_ASSERT(metadata);
97     for (const auto& closedVariable : program->closedVariables()) {
98         if (closedVariable == m_vm.propertyNames->arguments.impl())
99             continue;
100         
101         if (closedVariable == m_vm.propertyNames->undefinedKeyword.impl())
102             continue;
103     }
104     metadata->overrideName(name);
105     VariableEnvironment dummyTDZVariables;
106     UnlinkedFunctionExecutable* functionExecutable = UnlinkedFunctionExecutable::create(&m_vm, source, metadata, kind, constructAbility, dummyTDZVariables, WTF::move(sourceOverride));
107     functionExecutable->m_nameValue.set(m_vm, functionExecutable, jsString(&m_vm, name.string()));
108     return functionExecutable;
109 }
110
111 void BuiltinExecutables::finalize(JSCell*&, void* context)
112 {
113     static_cast<Weak<UnlinkedFunctionExecutable>*>(context)->clear();
114 }
115
116 #define DEFINE_BUILTIN_EXECUTABLES(name, functionName, length) \
117 UnlinkedFunctionExecutable* BuiltinExecutables::name##Executable() \
118 {\
119     if (!m_##name##Executable)\
120         m_##name##Executable = Weak<UnlinkedFunctionExecutable>(createBuiltinExecutable(m_##name##Source, m_vm.propertyNames->builtinNames().functionName##PublicName(), s_##name##ConstructAbility), this, &m_##name##Executable);\
121     return m_##name##Executable.get();\
122 }
123 JSC_FOREACH_BUILTIN(DEFINE_BUILTIN_EXECUTABLES)
124 #undef EXPOSE_BUILTIN_SOURCES
125
126 }