Skip to content

Unpin V8#5277

Merged
tlively merged 2 commits intomainfrom
update-v8
Nov 18, 2022
Merged

Unpin V8#5277
tlively merged 2 commits intomainfrom
update-v8

Conversation

@tlively
Copy link
Copy Markdown
Member

@tlively tlively commented Nov 17, 2022

Our WasmGC output is no longer compatible with the previously pinned version and
the issue that caused us to pin it in the first place has been resolved.

Since we optimize assuming a closed world, optimizations can change the types
and structure of GC data even in externally-visible ways. Because differences
are expected, the fuzzer already did not compare reference-typed values from
before and after optimizations when running with nominal typing. Update it to
not compare these values under any type system.
Our WasmGC output is no longer compatible with the previously pinned version and
the issue that caused us to pin it in the first place has been resolved.
@tlively
Copy link
Copy Markdown
Member Author

tlively commented Nov 17, 2022

Current dependencies on/for this PR:

This comment was auto-generated by Graphite.

@tlively
Copy link
Copy Markdown
Member Author

tlively commented Nov 18, 2022

Graphite Merge Job

Current status: ✅ Merged

This pull request was successfully merged as part of a stack.

This comment was auto-generated by Graphite.

Job Reference: lJAMT4rkCAqvOwNbZeQD

Base automatically changed from fuzzer-no-compare-refs to main November 18, 2022 01:07
@tlively tlively merged commit 788cb17 into main Nov 18, 2022
@tlively tlively deleted the update-v8 branch November 18, 2022 01:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants