diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-06-01 11:11:25 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-06-01 11:11:25 -0700 |
| commit | 031c55702bd3770cbf014b7f834e8765dd22a158 (patch) | |
| tree | 4b6bd0cb3bd9bd592907fa0fe95ed1ed0c8a6b96 /src | |
| parent | b43d48965bcb26e2a0388c308d87963e70685186 (diff) | |
| download | binaryen-031c55702bd3770cbf014b7f834e8765dd22a158.tar.gz binaryen-031c55702bd3770cbf014b7f834e8765dd22a158.tar.bz2 binaryen-031c55702bd3770cbf014b7f834e8765dd22a158.zip | |
note default in type checking of switches
Diffstat (limited to 'src')
| -rw-r--r-- | src/wasm.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/wasm.cpp b/src/wasm.cpp index d00ddd42f..48a0f276a 100644 --- a/src/wasm.cpp +++ b/src/wasm.cpp @@ -40,6 +40,7 @@ struct TypeSeeker : public PostWalker<TypeSeeker, Visitor<TypeSeeker>> { for (auto name : curr->targets) { if (name == targetName) types.push_back(curr->value ? curr->value->type : none); } + if (curr->default_ == targetName) types.push_back(curr->value ? curr->value->type : none); } void visitBlock(Block* curr) { |