diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2017-09-06 10:00:57 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-06 10:00:57 -0700 |
| commit | 192b59a8bc8e5376ca120dc592d5abad7c654230 (patch) | |
| tree | 26bb4ab92728c2e0640bfddde962248b37fa54f3 /src/ast_utils.h | |
| parent | c0f21e10a1166829afd34c4fb06366d7430802bb (diff) | |
| download | binaryen-192b59a8bc8e5376ca120dc592d5abad7c654230.tar.gz binaryen-192b59a8bc8e5376ca120dc592d5abad7c654230.tar.bz2 binaryen-192b59a8bc8e5376ca120dc592d5abad7c654230.zip | |
clean up untaken => unreachable, as well as unnecessary named stuff in validation that was from when we differentiated reachable from unreachable breaks (#1166)
Diffstat (limited to 'src/ast_utils.h')
| -rw-r--r-- | src/ast_utils.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ast_utils.h b/src/ast_utils.h index 852cf89a3..95f725636 100644 --- a/src/ast_utils.h +++ b/src/ast_utils.h @@ -62,7 +62,7 @@ struct ExpressionAnalyzer { if (auto* br = curr->dynCast<Break>()) { if (!br->condition) return true; } else if (auto* block = curr->dynCast<Block>()) { - if (block->list.size() > 0 && obviouslyDoesNotFlowOut(block->list.back()) && !BranchUtils::BranchSeeker::hasTaken(block, block->name)) return true; + if (block->list.size() > 0 && obviouslyDoesNotFlowOut(block->list.back()) && !BranchUtils::BranchSeeker::hasReachable(block, block->name)) return true; } return false; } |