diff options
| author | Alon Zakai <azakai@google.com> | 2023-02-08 14:24:23 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-08 22:24:23 +0000 |
| commit | b291900ec5448f6eaf04076586a64e4cbc6a0e02 (patch) | |
| tree | e2a3c389d3c85258c30eb02fbc90408da1403c5d /src/wasm-features.h | |
| parent | cfda51c6c87267a7f42a28165bc8cce43f41621e (diff) | |
| download | binaryen-b291900ec5448f6eaf04076586a64e4cbc6a0e02.tar.gz binaryen-b291900ec5448f6eaf04076586a64e4cbc6a0e02.tar.bz2 binaryen-b291900ec5448f6eaf04076586a64e4cbc6a0e02.zip | |
[Wasm GC] Optimize casts to bottom types (#5484)
A cast to a non-nullable null (an impossible type) must trap.
In traps-never-happen mode, a cast that either returns a null or traps will
definitely return a null.
Followup to #5461 which emits casts to bottom types.
Diffstat (limited to 'src/wasm-features.h')
0 files changed, 0 insertions, 0 deletions