diff options
author | Alon Zakai <azakai@google.com> | 2023-03-20 15:14:52 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-03-20 15:14:52 -0700 |
commit | ef674ecb40d1dcdcb39a33a7d28772edaeff63b8 (patch) | |
tree | 51579ccd2a7bc7e6a32cc3bc2fb41b0fd1da4766 /scripts/fuzz_opt.py | |
parent | f4b0ea75aa56349c970b9ae7c156e2f6fd87de3d (diff) | |
download | binaryen-ef674ecb40d1dcdcb39a33a7d28772edaeff63b8.tar.gz binaryen-ef674ecb40d1dcdcb39a33a7d28772edaeff63b8.tar.bz2 binaryen-ef674ecb40d1dcdcb39a33a7d28772edaeff63b8.zip |
[Wasm GC] Fix detection of externalize/internalize as constant (#5592)
Both isValidInConstantExpression and isSingleConstantExpression must look
recursively at the internals of a RefAs that externalizes and internalizes, or else
we might do something like externalize a local.get, which is not constant.
getLiteral must handle externalize/internalize as well, and return a properly-
modified literal.
Without these fixes the testcase hits different internal assertions, and we either
fail to recognize something is constant or not, or think that it is but fail to
produce a literal for it.
Diffstat (limited to 'scripts/fuzz_opt.py')
0 files changed, 0 insertions, 0 deletions