Bug 220278 - Fix parseUnreachableExpression() to satisfy reference spec
Summary: Fix parseUnreachableExpression() to satisfy reference spec
Status: NEW
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:
 
Reported: 2021-01-04 22:07 PST by Dmitry
Modified: 2021-01-11 22:08 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 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>