Bug 260820

Summary: [Wasm-GC] call_indirect should take subtyping into account
Product: WebKit Reporter: Asumu Takikawa <asumu>
Component: WebAssemblyAssignee: Nobody <webkit-unassigned>
Status: RESOLVED FIXED    
Severity: Normal CC: webkit-bug-importer
Priority: P2 Keywords: InRadar
Version: WebKit Nightly Build   
Hardware: Unspecified   
OS: Unspecified   
Bug Depends on:    
Bug Blocks: 247394    

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.