diff options
Diffstat (limited to 'src/tools/wasm-opt.cpp')
-rw-r--r-- | src/tools/wasm-opt.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/tools/wasm-opt.cpp b/src/tools/wasm-opt.cpp index 8f958f164..0d279dc08 100644 --- a/src/tools/wasm-opt.cpp +++ b/src/tools/wasm-opt.cpp @@ -295,7 +295,7 @@ int main(int argc, const char* argv[]) { } if (options.passOptions.validate) { - if (!WasmValidator().validate(wasm)) { + if (!WasmValidator().validate(wasm, options.passOptions)) { exitOnInvalidWasm("error validating input"); } } @@ -309,7 +309,7 @@ int main(int argc, const char* argv[]) { reader.setAllowOOB(fuzzOOB); reader.build(); if (options.passOptions.validate) { - if (!WasmValidator().validate(wasm)) { + if (!WasmValidator().validate(wasm, options.passOptions)) { std::cout << wasm << '\n'; Fatal() << "error after translate-to-fuzz"; } @@ -368,7 +368,7 @@ int main(int argc, const char* argv[]) { auto runPasses = [&]() { options.runPasses(wasm); if (options.passOptions.validate) { - bool valid = WasmValidator().validate(wasm); + bool valid = WasmValidator().validate(wasm, options.passOptions); if (!valid) { exitOnInvalidWasm("error after opts"); } |