diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2017-08-28 20:12:48 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-28 20:12:48 -0700 |
| commit | d621116cada789d15c569385ea79a57ba534c08f (patch) | |
| tree | 6f9c922c5a0c2f5c8791636a156c8694d4be1d4d /src/passes/RemoveUnusedBrs.cpp | |
| parent | 5c2f4ab22367d04753678fbd12d67b4dc2a29010 (diff) | |
| parent | 2d9e5a1c60a41e747956880ab199955b8f12d53c (diff) | |
| download | binaryen-d621116cada789d15c569385ea79a57ba534c08f.tar.gz binaryen-d621116cada789d15c569385ea79a57ba534c08f.tar.bz2 binaryen-d621116cada789d15c569385ea79a57ba534c08f.zip | |
Merge pull request #1154 from WebAssembly/fuzz
Fuzz fixes
Diffstat (limited to 'src/passes/RemoveUnusedBrs.cpp')
| -rw-r--r-- | src/passes/RemoveUnusedBrs.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/passes/RemoveUnusedBrs.cpp b/src/passes/RemoveUnusedBrs.cpp index e627ce138..e307ec414 100644 --- a/src/passes/RemoveUnusedBrs.cpp +++ b/src/passes/RemoveUnusedBrs.cpp @@ -482,9 +482,11 @@ struct RemoveUnusedBrs : public WalkerPass<PostWalker<RemoveUnusedBrs>> { // a "selectified" condition that executes both. for (Index i = 0; i < list.size() - 1; i++) { auto* br1 = list[i]->dynCast<Break>(); - if (!br1 || !br1->condition) continue; + // avoid unreachable brs, as they are dead code anyhow, and after merging + // them the outer scope could need type changes + if (!br1 || !br1->condition || br1->type == unreachable) continue; auto* br2 = list[i + 1]->dynCast<Break>(); - if (!br2 || !br2->condition) continue; + if (!br2 || !br2->condition || br2->type == unreachable) continue; if (br1->name == br2->name) { assert(!br1->value && !br2->value); if (!EffectAnalyzer(passOptions, br2->condition).hasSideEffects()) { |