diff options
| author | Alon Zakai <azakai@google.com> | 2022-11-11 16:19:49 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-11 16:19:49 -0800 |
| commit | 097e63a43b7681677ef54819b75d3c2bc756acce (patch) | |
| tree | be3acf44d6dfabce3b0e78ca6bdd596b2dfcd561 /src/passes/RemoveUnusedModuleElements.cpp | |
| parent | cf908c7976d02a9d3d4810a2b5a04e502e4efed2 (diff) | |
| download | binaryen-097e63a43b7681677ef54819b75d3c2bc756acce.tar.gz binaryen-097e63a43b7681677ef54819b75d3c2bc756acce.tar.bz2 binaryen-097e63a43b7681677ef54819b75d3c2bc756acce.zip | |
[Wasm GC] Fix nondeterminism in GUFA due to ordering (#5243)
We don't actually have the distributive property since our
PossibleContents representation is an approximation, and the fuzzer found
a case where that is noticeable. See more details in the new comment +
testcase.
I measured speed and memory usage and this actually causes almost no
noticeable change.
Diffstat (limited to 'src/passes/RemoveUnusedModuleElements.cpp')
0 files changed, 0 insertions, 0 deletions