diff options
| author | Thomas Lively <tlively@google.com> | 2024-11-26 14:26:57 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-11-26 22:26:57 +0000 |
| commit | 4ffe27255ce99d452d05d4b352e3f6e1e9ca7d83 (patch) | |
| tree | 45609182512408ac238411d0fd44e22745d0f585 /scripts/clusterfuzz/run.py | |
| parent | ffc3f2219b18c2a2ddb160c0d81518234faa2cd1 (diff) | |
| download | binaryen-4ffe27255ce99d452d05d4b352e3f6e1e9ca7d83.tar.gz binaryen-4ffe27255ce99d452d05d4b352e3f6e1e9ca7d83.tar.bz2 binaryen-4ffe27255ce99d452d05d4b352e3f6e1e9ca7d83.zip | |
ReFinalize after merging siblings in TypeMerging (#7121)
The LUB of sibling types is their common supertype, but after the
sibling types are merged, their LUB is the merged type, which is a
strict subtype of the previous LUB. This means that merging sibling
types causes `selects` to have stale types when the two select arms
previously had the two merged sibling types. To fix any potential stale
types, ReFinalize after merging sibling types.
Diffstat (limited to 'scripts/clusterfuzz/run.py')
0 files changed, 0 insertions, 0 deletions