Bug 265678

Summary:	[Wasm-GC] Fix exception validation when using GC
Product:	WebKit	Reporter:	Asumu Takikawa <asumu>
Component:	WebAssembly	Assignee:	Nobody <webkit-unassigned>
Status:	RESOLVED FIXED
Severity:	Normal	CC:	bashorov, webkit-bug-importer
Priority:	P2	Keywords:	InRadar
Version:	WebKit Nightly Build
Hardware:	Unspecified
OS:	Unspecified
Bug Depends on:
Bug Blocks:	247394

Asumu Takikawa

Reported 2023-12-01 09:13:02 PST

There are a few small bugs related to exception validation when using Wasm GC. One is that exception signatures are checked only by type equality and not subtyping. The other is that addCatchToUnreachable doesn't factor in Ref/RefNull types in its type switch for validation.

Attachments
Add attachment proposed patch, testcase, etc.

Asumu Takikawa

Comment 1 2023-12-01 13:20:48 PST

Pull request: https://github.com/WebKit/WebKit/pull/21182

EWS

Comment 2 2023-12-04 20:05:15 PST

Committed 271527@main (34288ce1365e): <https://commits.webkit.org/271527@main> Reviewed commits have been landed. Closing PR #21182 and removing active labels.

Radar WebKit Bug Importer

Comment 3 2023-12-04 20:06:14 PST

<rdar://problem/119166812>

Note You need to log in before you can comment on or make changes to this bug.