Exception is a JSCell, not a JSObject.
[WebKit-https.git] / Source / JavaScriptCore / runtime / ThrowScope.cpp
1 /*
2  * Copyright (C) 2016-2019 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 #include "config.h"
27 #include "ThrowScope.h"
28
29 #include "Exception.h"
30 #include "JSCInlines.h"
31 #include "VM.h"
32
33 namespace JSC {
34     
35 #if ENABLE(EXCEPTION_SCOPE_VERIFICATION)
36
37 ThrowScope::ThrowScope(VM& vm, ExceptionEventLocation location)
38     : ExceptionScope(vm, location)
39 {
40     m_vm.verifyExceptionCheckNeedIsSatisfied(m_recursionDepth, m_location);
41 }
42
43 ThrowScope::~ThrowScope()
44 {
45     RELEASE_ASSERT(m_vm.m_topExceptionScope);
46
47     if (!m_isReleased)
48         m_vm.verifyExceptionCheckNeedIsSatisfied(m_recursionDepth, m_location);
49     else {
50         // If we released the scope, that means we're letting our callers do the
51         // exception check. However, because our caller may be a LLInt or JIT
52         // function (which always checks for exceptions but won't clear the
53         // m_needExceptionCheck bit), we should clear m_needExceptionCheck here
54         // and let code below decide if we need to simulate a re-throw.
55         m_vm.m_needExceptionCheck = false;
56     }
57
58     bool willBeHandleByLLIntOrJIT = false;
59     const void* previousScopeStackPosition = m_previousScope ? m_previousScope->stackPosition() : nullptr;
60     void* topEntryFrame = m_vm.topEntryFrame;
61
62     // If the topEntryFrame was pushed on the stack after the previousScope was instantiated,
63     // then this throwScope will be returning to LLINT or JIT code that always do an exception
64     // check. In that case, skip the simulated throw because the LLInt and JIT will be
65     // checking for the exception their own way instead of calling ThrowScope::exception().
66     if (topEntryFrame && previousScopeStackPosition > topEntryFrame)
67         willBeHandleByLLIntOrJIT = true;
68
69     if (!willBeHandleByLLIntOrJIT)
70         simulateThrow();
71 }
72
73 Exception* ThrowScope::throwException(ExecState* exec, Exception* exception)
74 {
75     if (m_vm.exception() && m_vm.exception() != exception)
76         m_vm.verifyExceptionCheckNeedIsSatisfied(m_recursionDepth, m_location);
77     
78     return m_vm.throwException(exec, exception);
79 }
80
81 Exception* ThrowScope::throwException(ExecState* exec, JSValue error)
82 {
83     if (!error.isCell() || !jsDynamicCast<Exception*>(m_vm, error.asCell()))
84         m_vm.verifyExceptionCheckNeedIsSatisfied(m_recursionDepth, m_location);
85     
86     return m_vm.throwException(exec, error);
87 }
88
89 Exception* ThrowScope::throwException(ExecState* exec, JSObject* obj)
90 {
91     m_vm.verifyExceptionCheckNeedIsSatisfied(m_recursionDepth, m_location);
92     return m_vm.throwException(exec, obj);
93 }
94
95 void ThrowScope::simulateThrow()
96 {
97     RELEASE_ASSERT(m_vm.m_topExceptionScope);
98     m_vm.m_simulatedThrowPointLocation = m_location;
99     m_vm.m_simulatedThrowPointRecursionDepth = m_recursionDepth;
100     m_vm.m_needExceptionCheck = true;
101     if (UNLIKELY(Options::dumpSimulatedThrows()))
102         m_vm.m_nativeStackTraceOfLastSimulatedThrow = StackTrace::captureStackTrace(Options::unexpectedExceptionStackTraceLimit());
103 }
104
105 #endif // ENABLE(EXCEPTION_SCOPE_VERIFICATION)
106     
107 } // namespace JSC