diff options
| author | Alon Zakai <azakai@google.com> | 2022-04-21 17:04:01 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-21 17:04:01 -0700 |
| commit | 6000629ae7cc2962483cd0d7ae4a770c8f2a34a0 (patch) | |
| tree | 0b4a51277e677c47533590f4fcec6afe72df9c77 /src/ir/export-utils.h | |
| parent | 50d596b3287f19e4ff2f1e1d4a9629968695da73 (diff) | |
| download | binaryen-6000629ae7cc2962483cd0d7ae4a770c8f2a34a0.tar.gz binaryen-6000629ae7cc2962483cd0d7ae4a770c8f2a34a0.tar.bz2 binaryen-6000629ae7cc2962483cd0d7ae4a770c8f2a34a0.zip | |
[NominalFuzzing] GTO: trap on null ref in removed struct.set (#4607)
When a field has no reads, we remove all its writes, but we did this:
(struct.set $foo A B)
=>
(drop A) (drop B)
We also need to trap if A, the reference, is null, which this PR
fixes,
(struct.set $foo A B)
=>
(drop (ref.as_non_null A)) (drop B)
Diffstat (limited to 'src/ir/export-utils.h')
0 files changed, 0 insertions, 0 deletions