diff options
author | Alon Zakai <alonzakai@gmail.com> | 2016-09-13 10:41:14 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2016-09-13 10:50:48 -0700 |
commit | 39ed7c6477f24b06e7ec33d03a86d932aa9a6a5f (patch) | |
tree | 9ca557be1384415a732d3130b0e3fd6546af3437 /src/wasm.h | |
parent | b4a77cf9b0780248c1a62c4409899ee1e23573ef (diff) | |
download | binaryen-39ed7c6477f24b06e7ec33d03a86d932aa9a6a5f.tar.gz binaryen-39ed7c6477f24b06e7ec33d03a86d932aa9a6a5f.tar.bz2 binaryen-39ed7c6477f24b06e7ec33d03a86d932aa9a6a5f.zip |
update br type when turning it into a br_if in remove-unused-brs
Diffstat (limited to 'src/wasm.h')
-rw-r--r-- | src/wasm.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/wasm.h b/src/wasm.h index d6bdfe91f..ca3c8e5f5 100644 --- a/src/wasm.h +++ b/src/wasm.h @@ -1027,6 +1027,8 @@ public: void finalize() { if (condition) { type = none; + } else { + type = unreachable; } } }; |