diff options
author | Alon Zakai <azakai@google.com> | 2022-09-06 13:56:50 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-06 13:56:50 -0700 |
commit | 16f72aae58b6c856d405d6d608efd436549ea678 (patch) | |
tree | d2b55e6cef5128719f1b736e67a96891a97749f9 /src/wasm/wasm.cpp | |
parent | bd5422c8f13265cf89bdf49f30a04b882ee91d0e (diff) | |
download | binaryen-16f72aae58b6c856d405d6d608efd436549ea678.tar.gz binaryen-16f72aae58b6c856d405d6d608efd436549ea678.tar.bz2 binaryen-16f72aae58b6c856d405d6d608efd436549ea678.zip |
[Wasm GC] Fix GlobalTypeOptimization fuzz bug on replacing unreachable struct.set (#5021)
We replaced an unreachable struct.set with something reachable, which can
break validation in corner cases.
Diffstat (limited to 'src/wasm/wasm.cpp')
-rw-r--r-- | src/wasm/wasm.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/wasm/wasm.cpp b/src/wasm/wasm.cpp index a445d74bf..af40896ce 100644 --- a/src/wasm/wasm.cpp +++ b/src/wasm/wasm.cpp @@ -182,7 +182,7 @@ void Block::finalize() { return; } // The default type is what is at the end. Next we need to see if breaks and/ - // or unreachabitily change that. + // or unreachability change that. type = list.back()->type; if (!name.is()) { // Nothing branches here, so this is easy. |