diff options
| author | Thomas Lively <tlively@google.com> | 2023-01-19 12:56:42 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-19 10:56:42 -0800 |
| commit | 9956bd3895741c09964f0d92bbcebe9131f15f88 (patch) | |
| tree | ace3b7a6c1270f2c8015ee7f2b6f952de27c8b72 /src/tools/wasm-split/split-options.h | |
| parent | 0d6d317d44d13240dfc9427f8f32c1299449287b (diff) | |
| download | binaryen-9956bd3895741c09964f0d92bbcebe9131f15f88.tar.gz binaryen-9956bd3895741c09964f0d92bbcebe9131f15f88.tar.bz2 binaryen-9956bd3895741c09964f0d92bbcebe9131f15f88.zip | |
[Wasm GC] Do not merge supertypes into subtypes (#5439)
In TypeMerging we previously merged all subsequent types in a refined partition
into whichever type happened to be first in the partition, but when that first
type happened to be a subtype of one of the other types in the partition, that
would cause type-updating.cpp to try to update that subtype's supertype to be
itself, causing an assertion failure.
Fix the problem by ensuring that the merge target is not a subtype of any other
types in the partition.
Diffstat (limited to 'src/tools/wasm-split/split-options.h')
0 files changed, 0 insertions, 0 deletions