diff options
author | Alon Zakai <azakai@google.com> | 2022-11-21 15:54:21 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-21 15:54:21 -0800 |
commit | c449f41678d5e1699d634855743f5874ae6ec6e4 (patch) | |
tree | 029016b74efbf0608efc9c18c6fcaf94212f590c /src/wasm-s-parser.h | |
parent | ea0c800b90713edef9566feb30ccb6d276beb857 (diff) | |
download | binaryen-c449f41678d5e1699d634855743f5874ae6ec6e4.tar.gz binaryen-c449f41678d5e1699d634855743f5874ae6ec6e4.tar.bz2 binaryen-c449f41678d5e1699d634855743f5874ae6ec6e4.zip |
Code Pushing: Ignore unreachable sets (#5284)
Normally we ignore them anyhow (unreachability is an effect, either a trap or
a control flow switch), but in traps-never-happen mode we can ignore a trap, so
we need to check this manually.
Diffstat (limited to 'src/wasm-s-parser.h')
0 files changed, 0 insertions, 0 deletions