diff options
author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2021-06-22 16:18:59 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-22 16:18:59 +0000 |
commit | 40fc101296b11ef237a80224a194c2817e5864c3 (patch) | |
tree | bea59c1d14665d6bbea82d417dc2a822b87ba660 /src/wasm/wasm-binary.cpp | |
parent | e773dfd026ff939e9f4cb91816863bdc5292ff4e (diff) | |
download | binaryen-40fc101296b11ef237a80224a194c2817e5864c3.tar.gz binaryen-40fc101296b11ef237a80224a194c2817e5864c3.tar.bz2 binaryen-40fc101296b11ef237a80224a194c2817e5864c3.zip |
Preserve function heap types during text parsing (#3935)
Previously, ref.func instructions would be assigned the canonical (i.e. first
parsed) heap type for the referenced function signature rather than the HeapType
actually specified in the type definition. In nominal mode, this could cause
validation failures because the types assigned to ref.func instructions would
not be correct.
Fix the problem by tracking function HeapTypes rather than function Signatures
when parsing the text format.
There can still be validation failures when round-tripping modules because
function HeapTypes are not properly preserved after parsing, but that will be
addressed in a follow-up PR.
Diffstat (limited to 'src/wasm/wasm-binary.cpp')
0 files changed, 0 insertions, 0 deletions