diff options
author | Alon Zakai <azakai@google.com> | 2023-02-02 13:13:49 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-02-02 21:13:49 +0000 |
commit | d3f2df39c9e55ec25e4a2ac59804d6137679272d (patch) | |
tree | 5c993e649d691a634076ca5ae465d7cd9b7a5965 /scripts | |
parent | 91f54df07766a5884203aa1fcfd6b0d61a3eb142 (diff) | |
download | binaryen-d3f2df39c9e55ec25e4a2ac59804d6137679272d.tar.gz binaryen-d3f2df39c9e55ec25e4a2ac59804d6137679272d.tar.bz2 binaryen-d3f2df39c9e55ec25e4a2ac59804d6137679272d.zip |
[Wasm GC] Fix struct.set / ref.as_non_null ordering issue (#5474)
If traps can happen, then we can't always remove a trap on null
on the ref input to struct.set, since it has two children,
(struct.set
(ref.as_non_null X)
(call $foo))
Removing the ref.as would not prevent a trap, as the struct.set
will trap, but it does move the trap to after the call which is bad.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions