diff options
| author | Thomas Lively <tlively@google.com> | 2023-08-23 23:55:45 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-23 21:55:45 -0700 |
| commit | da8937a71e908fecfc5722594dadd3c7ec6e80be (patch) | |
| tree | 258780a8802a3362bc6d13bb8b7909b9dd948261 /test/example/relooper-merge5.txt | |
| parent | d4207b10ca8038fdb9c11d6dfe1be2b7e84a1266 (diff) | |
| download | binaryen-da8937a71e908fecfc5722594dadd3c7ec6e80be.tar.gz binaryen-da8937a71e908fecfc5722594dadd3c7ec6e80be.tar.bz2 binaryen-da8937a71e908fecfc5722594dadd3c7ec6e80be.zip | |
Fix merging of unrelated types in TypeMerging (#5897)
Previously it was possible that the supertype merging phase would merge
unrelated types when DFA minimization would split a common supertype out of a
partition, leaving unrelated types behind in the same partition. Fix the problem
by post-processing the partitions in the supertype merging phase to split any
partitions that contain unrelated types.
Fixes #5877.
Diffstat (limited to 'test/example/relooper-merge5.txt')
0 files changed, 0 insertions, 0 deletions