RESOLVED FIXED Bug 264649
[WASM-Function-References] call_ref should subtype-check its arguments 
https://bugs.webkit.org/show_bug.cgi?id=264649
Summary [WASM-Function-References] call_ref should subtype-check its arguments
Asumu Takikawa
Reported 2023-11-10 18:23:43 PST
Right now call_ref uses type equality rather than subtyping to check its argument types Example program that fails: (module (func (param eqref)) (global (ref 0) (ref.func 0)) (func (call_ref 0 (ref.i31 (i32.const 42)) (global.get 0))) )
Attachments
Add attachment proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1 2023-11-17 18:24:13 PST
<rdar://problem/118588656>
Asumu Takikawa
Comment 2 2023-12-05 13:31:18 PST
Pull request: https://github.com/WebKit/WebKit/pull/21353
EWS
Comment 3 2023-12-08 18:29:57 PST
Committed 271780@main (c64fed2494ab): <https://commits.webkit.org/271780@main> Reviewed commits have been landed. Closing PR #21353 and removing active labels.
Note You need to log in before you can comment on or make changes to this bug.