WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
266127
[Wasm-GC] Local init tracking should track unreachable local.set too
https://bugs.webkit.org/show_bug.cgi?id=266127
Summary
[Wasm-GC] Local init tracking should track unreachable local.set too
Asumu Takikawa
Reported
2023-12-08 18:38:04 PST
Example test cases: ``` //@ runWebAssemblySuite("--useWebAssemblyTypedFunctionReferences=true", "--useWebAssemblyGC=true") import * as assert from "../assert.js"; import { compile } from "./wast-wrapper.js"; function testUnreachable() { // A local.set in unreachable code should still count for init. compile(` (module (type (struct)) (func (local (ref 0)) (unreachable) (local.set 0 (struct.new 0)) (local.get 0) drop)) `); compile(` (module (type (struct)) (func (local (ref 0)) (unreachable) (local.tee 0 (struct.new 0)) drop (local.get 0) drop)) `); } testUnreachable() ``` These currently fail but should validate.
Attachments
Add attachment
proposed patch, testcase, etc.
Asumu Takikawa
Comment 1
2023-12-08 18:49:53 PST
Pull request:
https://github.com/WebKit/WebKit/pull/21555
EWS
Comment 2
2023-12-11 20:45:55 PST
Committed
271910@main
(025c31d1220e): <
https://commits.webkit.org/271910@main
> Reviewed commits have been landed. Closing PR #21555 and removing active labels.
Radar WebKit Bug Importer
Comment 3
2023-12-11 20:47:14 PST
<
rdar://problem/119533296
>
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug