Bug 220278

Summary:	Fix parseUnreachableExpression() to satisfy reference spec
Product:	WebKit	Reporter:	Dmitry <dbezhetskov>
Component:	WebAssembly	Assignee:	Nobody <webkit-unassigned>
Status:	NEW ---
Severity:	Normal	CC:	webkit-bug-importer
Priority:	P2	Keywords:	InRadar
Version:	WebKit Nightly Build
Hardware:	Unspecified
OS:	Unspecified

Description Dmitry 2021-01-04 22:07:31 PST

Wasm implementation in JSC doesn't check types in unreachable expressions and so
https://github.com/WebAssembly/spec/blob/master/test/core/unreached-invalid.wast tests marked as "type mismatch" fails.

This is needed to be fixed.

Comment 1 Radar WebKit Bug Importer 2021-01-11 22:08:12 PST

<rdar://problem/73026557>