diff options
| author | Alon Zakai <azakai@google.com> | 2023-07-26 13:55:24 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-26 13:55:24 -0700 |
| commit | f2a8b86725c0d1ee3890dc80f8d3b4c094db38ac (patch) | |
| tree | 8dc63693a898ec9b93c5e900f901f4f97b414fdb /src/wasm-emscripten.h | |
| parent | f701d96b5412b6e4db856081acd7431faeafdb98 (diff) | |
| download | binaryen-f2a8b86725c0d1ee3890dc80f8d3b4c094db38ac.tar.gz binaryen-f2a8b86725c0d1ee3890dc80f8d3b4c094db38ac.tar.bz2 binaryen-f2a8b86725c0d1ee3890dc80f8d3b4c094db38ac.zip | |
TypeRefining: Add casts when we must (#5840)
See the example in the code and test for a situation that requires this for validation.
To fix validation we add a cast. That should practically always be removed by later
optimizations, and the fact it took the fuzzer this long to even find such a situation
also adds confidence that this won't be adding overhead (and in this situation, the
optimizer will definitely remove the cast).
Diffstat (limited to 'src/wasm-emscripten.h')
0 files changed, 0 insertions, 0 deletions