diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-07-13 16:06:41 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-07-13 16:08:02 -0700 |
| commit | b0fc363b3a86ade1b5da54b3452bf00568b5b360 (patch) | |
| tree | 0db4222983cb496b14b038d009e3adedfa4bcd1c | |
| parent | 1cc8b854d6f32f44a2f60b3e090a805954e6377c (diff) | |
| download | binaryen-b0fc363b3a86ade1b5da54b3452bf00568b5b360.tar.gz binaryen-b0fc363b3a86ade1b5da54b3452bf00568b5b360.tar.bz2 binaryen-b0fc363b3a86ade1b5da54b3452bf00568b5b360.zip | |
validate properly in wasm-opt
| -rw-r--r-- | src/tools/wasm-opt.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/tools/wasm-opt.cpp b/src/tools/wasm-opt.cpp index a992f77dd..d6e7d3bd6 100644 --- a/src/tools/wasm-opt.cpp +++ b/src/tools/wasm-opt.cpp @@ -73,12 +73,15 @@ int main(int argc, const char* argv[]) { Element& root = *parser.root; if (options.debug) std::cerr << "w-parsing..." << std::endl; SExpressionWasmBuilder builder(wasm, *root[0]); - assert(WasmValidator().validate(wasm)); } catch (ParseException& p) { p.dump(std::cerr); Fatal() << "error in parsing input"; } + if (!WasmValidator().validate(wasm)) { + Fatal() << "error in validating input"; + } + if (passes.size() > 0) { if (options.debug) std::cerr << "running passes...\n"; PassRunner passRunner(&wasm); |