Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: 6da47c63a9391911c9337dbb7b145ae89a669c8d
https://github.com/WebKit/WebKit/commit/6da47c63a9391911c9337dbb7b145ae89a669c8d
Author: Sosuke Suzuki <[email protected]>
Date: 2025-06-18 (Wed, 18 Jun 2025)
Changed paths:
A JSTests/wasm/stress/defaultable-imported-table.js
M Source/JavaScriptCore/wasm/WasmSectionParser.cpp
Log Message:
-----------
[JSC] Fix WebAssembly table import validation for non-nullable reference types
https://bugs.webkit.org/show_bug.cgi?id=293030
Reviewed by Yusuke Suzuki.
WebAssembly table import validation was incorrectly failing when importing
tables with non-nullable reference types like `ref any`. The issue was that
the defaultable type constraint was being applied to imported tables, even
though this constraint should only apply to newly created tables[1].
Imported tables are already initialized by the exporting module, so they
don't need to satisfy the defaultable type requirement. This patch changes
the validation logic to skip the defaultable check for imported tables while
preserving it for locally created tables.
[1]:
https://github.com/WebAssembly/function-references/blob/74d2ec81d15efd3c0f2fba46a023f376101d8e46/proposals/function-references/Overview.md#defaultability
Canonical link: https://commits.webkit.org/296409@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
