Bug 220313 - [WASM-References] Active element segments stored before an out-of-bounds access persist after the instantiation failure
Summary: [WASM-References] Active element segments stored before an out-of-bounds acce...
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-05 02:21 PST by Dmitry
Modified: 2021-01-12 02:22 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-05 02:21:47 PST 
By the reference types specification "active element segments stored before an out-of-bounds access persist after the instantiation failure".
See https://github.com/WebAssembly/reference-types/blob/master/test/core/linking.wast#L264

Right now we just throw link error and don't handle elements segments properly.
Comment 1 Radar WebKit Bug Importer 2021-01-12 02:22:13 PST 
<rdar://problem/73033152>