diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-03-07 21:25:14 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-03-07 21:25:14 -0800 |
| commit | bc74a6478aa229abf6dbf7269e67aeeb570e7554 (patch) | |
| tree | f24fd1e1ed75184abd5d2710a93a4b9a889a3d94 /src/wasm-validator.h | |
| parent | 8efa11fbb9ff8cfd8bacc9d16642e13e2bbac9b4 (diff) | |
| parent | 9407880de631fb4e9f8caa0c746e4d39f40be91d (diff) | |
| download | binaryen-bc74a6478aa229abf6dbf7269e67aeeb570e7554.tar.gz binaryen-bc74a6478aa229abf6dbf7269e67aeeb570e7554.tar.bz2 binaryen-bc74a6478aa229abf6dbf7269e67aeeb570e7554.zip | |
Merge pull request #231 from WebAssembly/spec-updates
Spec updates
Diffstat (limited to 'src/wasm-validator.h')
| -rw-r--r-- | src/wasm-validator.h | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/wasm-validator.h b/src/wasm-validator.h index 04493bb5b..2918c918d 100644 --- a/src/wasm-validator.h +++ b/src/wasm-validator.h @@ -76,16 +76,6 @@ public: validateAlignment(curr->align); } void visitSwitch(Switch *curr) { - std::set<Name> inTable; - for (auto target : curr->targets) { - if (target.is()) { - inTable.insert(target); - } - } - for (auto& c : curr->cases) { - shouldBeFalse(c.name.is() && inTable.find(c.name) == inTable.end()); - } - shouldBeFalse(curr->default_.is() && inTable.find(curr->default_) == inTable.end()); } void visitUnary(Unary *curr) { shouldBeTrue(curr->value->type == curr->type); |