1 files changed, 7 insertions, 1 deletions
diff --git a/src/tools/wasm-interp.cc b/src/tools/wasm-interp.cc
index 44bb1e25..a4da13f8 100644
--- a/src/tools/wasm-interp.cc
+++ b/src/tools/wasm-interp.cc
@@ -1618,7 +1618,7 @@ static Result read_and_run_spec_json(const char* spec_json_filename) {
   return result;
 }
 
-int main(int argc, char** argv) {
+int ProgramMain(int argc, char** argv) {
   init_stdio();
   parse_options(argc, argv);
 
@@ -1632,3 +1632,9 @@ int main(int argc, char** argv) {
   }
   return result != Result::Ok;
 }
+
+int main(int argc, char** argv) {
+  WABT_TRY
+  return ProgramMain(argc, argv);
+  WABT_CATCH_BAD_ALLOC_AND_EXIT
+}