[Webkit-unassigned] [Bug 242077] New: The catchability of WASM stack overflow exceptions should match the spec

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=242077

            Bug ID: 242077
           Summary: The catchability of WASM stack overflow exceptions
                    should match the spec
           Product: WebKit
           Version: WebKit Nightly Build
          Hardware: Unspecified
                OS: Unspecified
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: WebAssembly
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: justin_michaud at apple.com

We currently allow stack overflow exceptions from within wasm code to be caught by a catch_all block, which does not match v8.

Wasm stack overflows are specified to be the same type as JS stack overflows:

https://webassembly.github.io/exception-handling/js-api/index.html#js-exceptions

The proposal says that these are not catchable:

https://github.com/WebAssembly/exception-handling/issues/202

But I cannot find that this is specified in the formal spec:

https://webassembly.github.io/exception-handling/js-api/index.html#errors

We are probably doing the wrong thing here, but maybe we should file a spec bug too.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20220628/2a0190af/attachment.htm>