1 files changed, 7 insertions, 1 deletions
diff --git a/src/tools/wasmopcodecnt.cc b/src/tools/wasmopcodecnt.cc
index b99051bb..49c1c822 100644
--- a/src/tools/wasmopcodecnt.cc
+++ b/src/tools/wasmopcodecnt.cc
@@ -284,7 +284,7 @@ static void display_sorted_int_pair_counter_vector(
                                   display_second_fcn, opcode_name);
 }
 
-int main(int argc, char** argv) {
+int ProgramMain(int argc, char** argv) {
   init_stdio();
   parse_options(argc, argv);
 
@@ -333,3 +333,9 @@ int main(int argc, char** argv) {
   delete[] data;
   return result != Result::Ok;
 }
+
+int main(int argc, char** argv) {
+  WABT_TRY
+  return ProgramMain(argc, argv);
+  WABT_CATCH_BAD_ALLOC_AND_EXIT
+}