| // Copyright 2016 the V8 project authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style license that can be |
| // found in the LICENSE file. |
| |
| #include "src/api.h" |
| #include "src/assembler-inl.h" |
| #include "src/trap-handler/trap-handler.h" |
| #include "test/cctest/cctest.h" |
| #include "test/cctest/compiler/value-helper.h" |
| #include "test/cctest/wasm/wasm-run-utils.h" |
| #include "test/common/wasm/test-signatures.h" |
| #include "test/common/wasm/wasm-macro-gen.h" |
| |
| namespace v8 { |
| namespace internal { |
| namespace wasm { |
| namespace test_wasm_trap_position { |
| |
| using v8::Local; |
| using v8::Utils; |
| |
| namespace { |
| |
| #define CHECK_CSTREQ(exp, found) \ |
| do { \ |
| const char* exp_ = (exp); \ |
| const char* found_ = (found); \ |
| DCHECK_NOT_NULL(exp); \ |
| if (V8_UNLIKELY(found_ == nullptr || strcmp(exp_, found_) != 0)) { \ |
| V8_Fatal(__FILE__, __LINE__, \ |
| "Check failed: (%s) != (%s) ('%s' vs '%s').", #exp, #found, \ |
| exp_, found_ ? found_ : "<null>"); \ |
| } \ |
| } while (0) |
| |
| struct ExceptionInfo { |
| const char* func_name; |
| int line_nr; |
| int column; |
| }; |
| |
| template <int N> |
| void CheckExceptionInfos(v8::internal::Isolate* i_isolate, Handle<Object> exc, |
| const ExceptionInfo (&excInfos)[N]) { |
| // Check that it's indeed an Error object. |
| CHECK(exc->IsJSError()); |
| v8::Isolate* v8_isolate = reinterpret_cast<v8::Isolate*>(i_isolate); |
| |
| exc->Print(); |
| // Extract stack frame from the exception. |
| Local<v8::Value> localExc = Utils::ToLocal(exc); |
| v8::Local<v8::StackTrace> stack = v8::Exception::GetStackTrace(localExc); |
| CHECK(!stack.IsEmpty()); |
| CHECK_EQ(N, stack->GetFrameCount()); |
| |
| for (int frameNr = 0; frameNr < N; ++frameNr) { |
| v8::Local<v8::StackFrame> frame = stack->GetFrame(frameNr); |
| v8::String::Utf8Value funName(v8_isolate, frame->GetFunctionName()); |
| CHECK_CSTREQ(excInfos[frameNr].func_name, *funName); |
| CHECK_EQ(excInfos[frameNr].line_nr, frame->GetLineNumber()); |
| CHECK_EQ(excInfos[frameNr].column, frame->GetColumn()); |
| } |
| } |
| |
| #undef CHECK_CSTREQ |
| |
| } // namespace |
| |
| // Trigger a trap for executing unreachable. |
| WASM_EXEC_TEST(Unreachable) { |
| // Create a WasmRunner with stack checks and traps enabled. |
| WasmRunner<void> r(execution_mode, "main", |
| compiler::kRuntimeExceptionSupport); |
| TestSignatures sigs; |
| |
| BUILD(r, WASM_UNREACHABLE); |
| uint32_t wasm_index = r.function()->func_index; |
| |
| Handle<JSFunction> js_wasm_wrapper = r.builder().WrapCode(wasm_index); |
| |
| Handle<JSFunction> js_trampoline = Handle<JSFunction>::cast( |
| v8::Utils::OpenHandle(*v8::Local<v8::Function>::Cast( |
| CompileRun("(function callFn(fn) { fn(); })")))); |
| |
| Isolate* isolate = js_wasm_wrapper->GetIsolate(); |
| isolate->SetCaptureStackTraceForUncaughtExceptions(true, 10, |
| v8::StackTrace::kOverview); |
| Handle<Object> global(isolate->context()->global_object(), isolate); |
| MaybeHandle<Object> maybe_exc; |
| Handle<Object> args[] = {js_wasm_wrapper}; |
| MaybeHandle<Object> returnObjMaybe = |
| Execution::TryCall(isolate, js_trampoline, global, 1, args, |
| Execution::MessageHandling::kReport, &maybe_exc); |
| CHECK(returnObjMaybe.is_null()); |
| |
| // Line and column are 1-based, so add 1 for the expected wasm output. |
| ExceptionInfo expected_exceptions[] = { |
| {"main", static_cast<int>(wasm_index) + 1, 2}, // -- |
| {"callFn", 1, 24} // -- |
| }; |
| CheckExceptionInfos(isolate, maybe_exc.ToHandleChecked(), |
| expected_exceptions); |
| } |
| |
| // Trigger a trap for loading from out-of-bounds. |
| WASM_EXEC_TEST(IllegalLoad) { |
| WasmRunner<void> r(execution_mode, "main", |
| compiler::kRuntimeExceptionSupport); |
| TestSignatures sigs; |
| |
| r.builder().AddMemory(0L); |
| |
| BUILD(r, WASM_IF(WASM_ONE, WASM_SEQ(WASM_LOAD_MEM(MachineType::Int32(), |
| WASM_I32V_1(-3)), |
| WASM_DROP))); |
| uint32_t wasm_index_1 = r.function()->func_index; |
| |
| WasmFunctionCompiler& f2 = r.NewFunction<void>("call_main"); |
| // Insert a NOP such that the position of the call is not one. |
| BUILD(f2, WASM_NOP, WASM_CALL_FUNCTION0(wasm_index_1)); |
| uint32_t wasm_index_2 = f2.function_index(); |
| |
| Handle<JSFunction> js_wasm_wrapper = r.builder().WrapCode(wasm_index_2); |
| |
| Handle<JSFunction> js_trampoline = Handle<JSFunction>::cast( |
| v8::Utils::OpenHandle(*v8::Local<v8::Function>::Cast( |
| CompileRun("(function callFn(fn) { fn(); })")))); |
| |
| Isolate* isolate = js_wasm_wrapper->GetIsolate(); |
| isolate->SetCaptureStackTraceForUncaughtExceptions(true, 10, |
| v8::StackTrace::kOverview); |
| Handle<Object> global(isolate->context()->global_object(), isolate); |
| MaybeHandle<Object> maybe_exc; |
| Handle<Object> args[] = {js_wasm_wrapper}; |
| MaybeHandle<Object> returnObjMaybe = |
| Execution::TryCall(isolate, js_trampoline, global, 1, args, |
| Execution::MessageHandling::kReport, &maybe_exc); |
| CHECK(returnObjMaybe.is_null()); |
| |
| // Line and column are 1-based, so add 1 for the expected wasm output. |
| ExceptionInfo expected_exceptions[] = { |
| {"main", static_cast<int>(wasm_index_1) + 1, 8}, // -- |
| {"call_main", static_cast<int>(wasm_index_2) + 1, 3}, // -- |
| {"callFn", 1, 24} // -- |
| }; |
| CheckExceptionInfos(isolate, maybe_exc.ToHandleChecked(), |
| expected_exceptions); |
| } |
| |
| } // namespace test_wasm_trap_position |
| } // namespace wasm |
| } // namespace internal |
| } // namespace v8 |