Bug 265628
| Summary: | [Wasm-GC] Fix subtyping for nullref | ||
|---|---|---|---|
| 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
Right now the subtype check for nullref is slightly wrong, in that it doesn't allow (ref null none) <: (ref null <idx>) where <idx> is some concrete array or struct type.
This was the intended behavior, but there's an error in the subtype check function (it returns too soon before the intended case).
| Attachments | ||
|---|---|---|
| Add attachment proposed patch, testcase, etc. |
Asumu Takikawa
Pull request: https://github.com/WebKit/WebKit/pull/21143
EWS
Committed 271395@main (eaa3fcf1d383): <https://commits.webkit.org/271395@main>
Reviewed commits have been landed. Closing PR #21143 and removing active labels.
Radar WebKit Bug Importer
<rdar://problem/119041089>