Bug 260820 - [Wasm-GC] call_indirect should take subtyping into account
Summary: [Wasm-GC] call_indirect should take subtyping into account
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: WebAssembly (show other bugs)
Version: WebKit Nightly Build
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Nobody
URL:
Keywords: InRadar
Depends on:
Blocks: 247394
  Show dependency tree / graph
 
Reported: 2023-08-28 14:17 PDT by Asumu Takikawa
Modified: 2024-02-13 10:51 PST (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Asumu Takikawa 2023-08-28 14:17:21 PDT 
Currently the call_indirect signature check only succeeds if the function indices are an exact match.

Since the GC proposal introduces subtyping, this should also succeed when the target index is a supertype of the actual function being called.
Comment 1 Radar WebKit Bug Importer 2023-09-04 14:18:12 PDT 
<rdar://problem/114949229>
Comment 2 Asumu Takikawa 2024-02-02 15:01:18 PST 
Pull request: https://github.com/WebKit/WebKit/pull/23781
Comment 3 EWS 2024-02-13 10:50:59 PST 
Committed 274558@main (b1b24f76c39f): <https://commits.webkit.org/274558@main>

Reviewed commits have been landed. Closing PR #23781 and removing active labels.