diff options
| -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); |