diff options
| author | Alon Zakai <azakai@google.com> | 2024-10-29 11:41:28 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-29 11:41:28 -0700 |
| commit | 3d3a38700f29236eb7e66742fdc2df8616ab7599 (patch) | |
| tree | d6d9a940db9fe1a3955b35bbe342b6dac236c72a /src/wasm.h | |
| parent | e3eaeef991445db2e6af782e202d67585398a43f (diff) | |
| download | binaryen-3d3a38700f29236eb7e66742fdc2df8616ab7599.tar.gz binaryen-3d3a38700f29236eb7e66742fdc2df8616ab7599.tar.bz2 binaryen-3d3a38700f29236eb7e66742fdc2df8616ab7599.zip | |
[GC] RemoveUnusedBrs: Ensure refining of BrOnCast's castType does not unrefine the output (#7036)
Paradoxically, when a BrOn's castType is refined, its own type (the type it flows out)
can get un-refined: making the castType non-nullable means nulls no longer
flow on the branch, so they may flow out directly, making the BrOn nullable.
Diffstat (limited to 'src/wasm.h')
0 files changed, 0 insertions, 0 deletions