Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: 48425afd643d6014a3caf223f5d2e1c1b738bd17
https://github.com/WebKit/WebKit/commit/48425afd643d6014a3caf223f5d2e1c1b738bd17
Author: Yijia Huang <[email protected]>
Date: 2025-09-29 (Mon, 29 Sep 2025)
Changed paths:
M
Source/JavaScriptCore/SaferCPPExpectations/MemoryUnsafeCastCheckerExpectations
M Source/JavaScriptCore/assembler/LinkBuffer.cpp
M Source/JavaScriptCore/interpreter/CallFrame.cpp
M Source/JavaScriptCore/interpreter/Interpreter.cpp
M Source/JavaScriptCore/interpreter/StackVisitor.cpp
M Source/JavaScriptCore/jsc.cpp
M Source/JavaScriptCore/runtime/NativeCallee.cpp
M Source/JavaScriptCore/runtime/SamplingProfiler.cpp
M Source/JavaScriptCore/tools/JSDollarVM.cpp
M Source/JavaScriptCore/wasm/WasmCallee.cpp
M Source/JavaScriptCore/wasm/WasmCallee.h
M Source/JavaScriptCore/wasm/WasmCalleeGroup.cpp
M Source/JavaScriptCore/wasm/WasmFaultSignalHandler.cpp
M Source/JavaScriptCore/wasm/WasmIPIntSlowPaths.cpp
M Source/JavaScriptCore/wasm/WasmIRGeneratorHelpers.h
M Source/JavaScriptCore/wasm/WasmOMGIRGenerator.cpp
M Source/JavaScriptCore/wasm/WasmOMGIRGenerator32_64.cpp
M Source/JavaScriptCore/wasm/WasmOSREntryPlan.cpp
M Source/JavaScriptCore/wasm/WasmOperations.cpp
M Source/JavaScriptCore/wasm/debugger/WasmDebugServerUtilities.cpp
M Source/JavaScriptCore/wasm/js/JSWebAssemblyInstance.cpp
M Source/JavaScriptCore/wasm/js/WebAssemblyModuleRecord.cpp
Log Message:
-----------
[JSC] Replace static_cast with uncheckedDowncast for Wasm::Callee type safety
https://bugs.webkit.org/show_bug.cgi?id=299686
rdar://161498549
Reviewed by Mark Lam.
This patch improves type safety in WebAssembly code by replacing static_cast
with uncheckedDowncast for Wasm::Callee and related types throughout the
runtime execution paths. The change adds runtime type validation to catch
type errors earlier in development.
The changes provide better debugging and type validation in WebAssembly code
without affecting conservative garbage collection or performance-critical paths.
Testing: Type traits are validated through existing WebAssembly tests that
exercise
all uncheckedDowncast call sites. No additional unit tests are needed since
these
are complex runtime instances requiring full compilation pipelines.
Canonical link: https://commits.webkit.org/300699@main
To unsubscribe from these emails, change your notification settings at
https://github.com/WebKit/WebKit/settings/notifications
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
