diff options
| author | Thomas Lively <tlively@google.com> | 2024-08-19 16:07:11 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-19 16:07:11 -0700 |
| commit | 2c9c74d8b64e1776c6c374af8631995b0be606f1 (patch) | |
| tree | 504428ae6dd06ed972765604a3acb2fad4c8fb65 /src/ir/ReFinalize.cpp | |
| parent | 127844ca1f6d182797e925b3d062c3484aaf5c23 (diff) | |
| download | binaryen-2c9c74d8b64e1776c6c374af8631995b0be606f1.tar.gz binaryen-2c9c74d8b64e1776c6c374af8631995b0be606f1.tar.bz2 binaryen-2c9c74d8b64e1776c6c374af8631995b0be606f1.zip | |
Validate array.init_elem segment in IRBuilder (#6852)
IRBuilder is responsible for validation involving type annotations on GC
instructions because those type annotations may not be preserved in the
built IR to be used by the main validator. For `array.init_elem`, we
were not using the type annotation to validate the element segment,
which allowed us to parse invalid modules when the reference operand was
a nullref. Add the missing validation in IRBuilder and fix a relevant
spec test.
Diffstat (limited to 'src/ir/ReFinalize.cpp')
0 files changed, 0 insertions, 0 deletions