diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-04-29 16:30:40 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-04-29 16:30:40 -0700 |
| commit | 199c7d3e558d4c2f3dc6be1e0fc826ca45b52b8f (patch) | |
| tree | c3a7cc43a52a5b006d2ae6acd9470c18a778d15d /src/wasm-binary.h | |
| parent | eb2ea67bf52eac93de977922763a0ee3787be240 (diff) | |
| parent | af6b1a77673b1c49f4501918385bd463c50cb28b (diff) | |
| download | binaryen-199c7d3e558d4c2f3dc6be1e0fc826ca45b52b8f.tar.gz binaryen-199c7d3e558d4c2f3dc6be1e0fc826ca45b52b8f.tar.bz2 binaryen-199c7d3e558d4c2f3dc6be1e0fc826ca45b52b8f.zip | |
Merge pull request #416 from WebAssembly/full-validation-nice
Full validation
Diffstat (limited to 'src/wasm-binary.h')
| -rw-r--r-- | src/wasm-binary.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/wasm-binary.h b/src/wasm-binary.h index 0bd86ffb6..89073b8be 100644 --- a/src/wasm-binary.h +++ b/src/wasm-binary.h @@ -31,6 +31,7 @@ #include "asm_v_wasm.h" #include "wasm-builder.h" #include "ast_utils.h" +#include "wasm-validator.h" namespace wasm { @@ -1187,6 +1188,10 @@ public: } processFunctions(); + + if (!WasmValidator().validate(wasm)) { + abort(); + } } bool more() { @@ -1727,6 +1732,7 @@ public: curr->name = getBreakName(getU32LEB()); if (code == BinaryConsts::BrIf) curr->condition = popExpression(); if (arity == 1) curr->value = popExpression(); + curr->finalize(); } void visitSwitch(Switch *curr) { if (debug) std::cerr << "zz node: Switch" << std::endl; |