[EH] Allow catch/delegate-less trys

src/wasm/wasm-binary.cpp

@@ -6069,10 +6069,12 @@ void WasmBinaryBuilder::visitTryOrTryInBlock(Expression*& out) {
   // blocks instead.
   curr->type = getType();
   curr->body = getBlockOrSingleton(curr->type);
-  if (lastSeparator != BinaryConsts::Catch &&
-      lastSeparator != BinaryConsts::CatchAll &&
-      lastSeparator != BinaryConsts::Delegate) {
-    throwError("No catch instruction within a try scope");
+
+  // try without catch or delegate
+  if (lastSeparator == BinaryConsts::End) {
+    curr->finalize();
+    out = curr;
+    return;
   }
 
   Builder builder(wasm);
@@ -6189,7 +6191,7 @@ void WasmBinaryBuilder::visitTryOrTryInBlock(Expression*& out) {
   //     (catch $e
   //       (block   ;; Now this can be deleted when writing binary
   //         ...
-  //         (br $label0)
+  //         (br $label)
   //       )
   //     )
   //   )

src/wasm/wasm-s-parser.cpp

@@ -2470,9 +2470,6 @@ Expression* SExpressionWasmBuilder::makeTry(Element& s) {
     throw ParseException(
       "there should be at most one catch_all block at the end", s.line, s.col);
   }
-  if (ret->catchBodies.empty() && !ret->isDelegate()) {
-    throw ParseException("no catch bodies or delegate", s.line, s.col);
-  }
 
   ret->finalize(type);
 

src/wasm/wasm-validator.cpp

@@ -2078,9 +2078,6 @@ void FunctionValidator::visitTry(Try* curr) {
   shouldBeFalse(curr->isCatch() && curr->isDelegate(),
                 curr,
                 "try cannot have both catch and delegate at the same time");
-  shouldBeTrue(curr->isCatch() || curr->isDelegate(),
-               curr,
-               "try should have either catches or a delegate");
 
   if (curr->isDelegate()) {
     noteDelegate(curr->delegateTarget, curr);

test/exception-handling.wast

@@ -131,6 +131,13 @@
         )
       )
     )
+
+    ;; try without catch or delegate
+    (try
+      (do
+        (throw $e-i32 (i32.const 0))
+      )
+    )
   )
 
   (func $delegate-test

test/exception-handling.wast.from-wast

@@ -170,6 +170,13 @@
     )
    )
   )
+  (try $try10
+   (do
+    (throw $e-i32
+     (i32.const 0)
+    )
+   )
+  )
  )
  (func $delegate-test
   (try $l0
@@ -180,7 +187,7 @@
      )
      (delegate $l0)
     )
-    (try $try10
+    (try $try11
      (do
       (call $foo)
      )
@@ -191,43 +198,43 @@
     (nop)
    )
   )
-  (block $l014
-   (try $l011
+  (block $l015
+   (try $l012
     (do
-     (try $try12
+     (try $try13
       (do
-       (br_if $l014
+       (br_if $l015
         (i32.const 1)
        )
       )
-      (delegate $l011)
+      (delegate $l012)
      )
-     (try $try13
+     (try $try14
       (do
-       (br_if $l014
+       (br_if $l015
         (i32.const 1)
        )
       )
-      (delegate $l011)
+      (delegate $l012)
      )
     )
     (catch_all
      (nop)
     )
    )
   )
-  (try $l015
+  (try $l016
    (do
-    (try $try16
+    (try $try17
      (do
       (call $foo)
      )
-     (delegate $l015)
+     (delegate $l016)
     )
    )
    (delegate 0)
   )
-  (try $try17
+  (try $try18
    (do
     (nop)
    )
@@ -251,23 +258,23 @@
     (rethrow $l0)
    )
   )
-  (block $l019
-   (try $l018
+  (block $l020
+   (try $l019
     (do
      (call $foo)
     )
     (catch $e-i32
      (drop
       (pop i32)
      )
-     (rethrow $l018)
+     (rethrow $l019)
     )
     (catch_all
-     (br $l019)
+     (br $l020)
     )
    )
   )
-  (try $l020
+  (try $l021
    (do
     (call $foo)
    )
@@ -280,20 +287,20 @@
       (drop
        (pop i32)
       )
-      (rethrow $l020)
+      (rethrow $l021)
      )
      (catch_all
-      (rethrow $l020)
+      (rethrow $l021)
      )
     )
    )
   )
-  (try $l021
+  (try $l022
    (do
     (call $foo)
    )
    (catch_all
-    (try $try22
+    (try $try23
      (do
       (call $foo)
      )
@@ -302,40 +309,40 @@
        (pop i32)
       )
       (block $b0
-       (rethrow $l021)
+       (rethrow $l022)
       )
      )
      (catch_all
       (block $b1
-       (rethrow $l021)
+       (rethrow $l022)
       )
      )
     )
    )
   )
-  (try $l023
+  (try $l024
    (do
     (call $foo)
    )
    (catch_all
-    (try $try24
+    (try $try25
      (do
-      (rethrow $l023)
+      (rethrow $l024)
      )
      (catch_all
       (nop)
      )
     )
    )
   )
-  (try $l025
+  (try $l026
    (do
     (call $foo)
    )
    (catch_all
-    (try $try26
+    (try $try27
      (do
-      (rethrow $l025)
+      (rethrow $l026)
      )
      (catch_all
       (nop)

test/exception-handling.wast.fromBinary

@@ -195,6 +195,13 @@
     )
    )
   )
+  (try
+   (do
+    (throw $event$0
+     (i32.const 0)
+    )
+   )
+  )
  )
  (func $delegate-test
   (try $label$9

test/exception-handling.wast.fromBinary.noDebugInfo

@@ -195,6 +195,13 @@
     )
    )
   )
+  (try
+   (do
+    (throw $event$0
+     (i32.const 0)
+    )
+   )
+  )
  )
  (func $3
   (try $label$9