From b0fc363b3a86ade1b5da54b3452bf00568b5b360 Mon Sep 17 00:00:00 2001
From: Alon Zakai <alonzakai@gmail.com>
Date: Wed, 13 Jul 2016 16:06:41 -0700
Subject: validate properly in wasm-opt

---
 src/tools/wasm-opt.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/tools/wasm-opt.cpp')

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);
-- 
cgit v1.2.3