diff options
author | Alon Zakai <alonzakai@gmail.com> | 2017-03-13 16:48:38 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-03-13 16:48:38 -0700 |
commit | c1e18d8aded2b86cfd8fb86886ad74cee2f14535 (patch) | |
tree | 2615b415a96a5d044fd4384a5ed87581a4c17047 /src/wasm/wasm.cpp | |
parent | 62e9f5d881e2d7e7f9f5da845ed2dbc176bc0bc5 (diff) | |
download | binaryen-c1e18d8aded2b86cfd8fb86886ad74cee2f14535.tar.gz binaryen-c1e18d8aded2b86cfd8fb86886ad74cee2f14535.tar.bz2 binaryen-c1e18d8aded2b86cfd8fb86886ad74cee2f14535.zip |
finalize interim ifs in relooper, and other if handling issues (#940)
Diffstat (limited to 'src/wasm/wasm.cpp')
-rw-r--r-- | src/wasm/wasm.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/wasm/wasm.cpp b/src/wasm/wasm.cpp index a11646e65..7e75d9178 100644 --- a/src/wasm/wasm.cpp +++ b/src/wasm/wasm.cpp @@ -210,7 +210,7 @@ void Block::finalize() { void If::finalize(WasmType type_) { type = type_; - if (type == none && (condition->type == unreachable || (ifFalse && ifTrue->type && ifFalse->type == unreachable))) { + if (type == none && (condition->type == unreachable || (ifFalse && ifTrue->type == unreachable && ifFalse->type == unreachable))) { type = unreachable; } } |