1 files changed, 5 insertions, 0 deletions
diff --git a/src/tools/wasm-ctor-eval.cpp b/src/tools/wasm-ctor-eval.cpp
index 195a5350f..5e1bf6b22 100644
--- a/src/tools/wasm-ctor-eval.cpp
+++ b/src/tools/wasm-ctor-eval.cpp
@@ -1064,6 +1064,11 @@ int main(int argc, const char* argv[]) {
   if (canEval(wasm)) {
     evalCtors(wasm, ctors, keptExports);
 
+    if (!WasmValidator().validate(wasm)) {
+      std::cout << wasm << '\n';
+      Fatal() << "error in validating output";
+    }
+
     // Do some useful optimizations after the evalling
     {
       PassRunner passRunner(&wasm);